-
Kurztext
-
This text introduces the notions and methods of formal logic from a computer-science standpoint, covering propositional logic, predicate logic and foundations of logic programming.
-
Detailansicht
Logic for Computer Scientists
Progress in Computer Science and Applied Logic (PCS), Volume 8
ISBN/EAN: 9780817634537
Umbreit-Nr.: 1612048
Sprache:
Englisch
Umfang: 172 S.
Format in cm:
Einband:
gebundenes Buch
Erschienen am 31.12.2001