Computing in Horn Clause Theories

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Padawitz, Peter (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer-Verlag c1988
Σειρά:EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa 16
Θέματα:

ΒΚΠ - Πατρα: ALFf

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: ALFf
Ταξιθετικός Αριθμός: 511.3 PAD
Αντίγραφο 1 Στη βιβλιοθήκη