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

Leitsch, Alexander

The resolution calculus / A. Leitsch. - Berlin : Springer, 1997. - viii, 300 σ. ; 25 εκ. - Texts in theoretical computer science. An EATCS series . - Texts in theoretical computer science .

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

ISBN: 3540618821

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

Dewey Class. No.: 005.131