Labelled Deductive Systems: Volume 1 - Oxford Logic Guides - Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) - Grāmatas - Oxford University Press - 9780198538332 - 1996. gada 5. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London)
Labelled Deductive Systems: Volume 1 - Oxford Logic Guides

Cena
€ 140,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 17. nov. - . gada 1. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1996. gada 5. septembris
ISBN13 9780198538332
Izdevēji Oxford University Press
Lapas 510
Izmēri 161 × 240 × 33 mm   ·   870 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London)