Κανονική προβολή Προβολή MARC Προβολή ISBD

Padawitz, Peter

Computing in Horn clause theories Peter Padawitz - Berlin Springer-Verlag 1988 - xi, 322 p. fig. 26 cm. - EATCS monographs on theoretical computer science 16 .

Includes references and indexes

ISBN: 3540194274

Subjects--Topical Terms:
Λογική, Συμβολική και μαθηματική
Ηλεκτρονικοί υπολογιστές--Μαθηματικές αρχές

Dewey Class. No.: 511.3