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

Computational logic / edited by Ulrich Berger, Helmut Schwichtenberg. - Berlin : Springer, 1999. - 444 σ. : εικ. ; 25 εκ. - NATO ASI series : Series F: Computer and systems sciences 165. . - NATO ASI series. Computer and systems sciences 165. .

Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.

ISBN: 3540645896

Subjects--Topical Terms:
Επιστήμη των υπολογιστών
Λογική, Συμβολική και μαθηματική

Dewey Class. No.: 004.015 113