Labelled Deductive Systems: Volume 1 - Oxford Logic Guides - Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) - Bøker - Oxford University Press - 9780198538332 - 5. september 1996
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Labelled Deductive Systems: Volume 1 - Oxford Logic Guides

Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London)

Pris
NOK 1.339

Bestillingsvarer

Forventes levert 21. - 30. okt

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Labelled Deductive Systems: Volume 1 - Oxford Logic Guides

This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.

510 pages, line figures

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 5. september 1996
ISBN13 9780198538332
Utgivere Oxford University Press
Antall sider 510
Mål 161 × 240 × 33 mm   ·   870 g

Se alt med Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) ( f.eks. Innbunden bok )