First-order logic and automated theorem proving /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Fitting, Melvin 1942- (συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: New York : Springer, c1990.
Σειρά:Text and monographs in computer science
Θέματα:

Παρόμοια τεκμήρια