First-order logic and automated theorem proving /
Κύριος συγγραφέας: | Fitting, Melvin 1942- (συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | Greek |
Έκδοση: |
New York :
Springer,
c1990.
|
Σειρά: | Text and monographs in computer science
|
Θέματα: |
Παρόμοια τεκμήρια
-
First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1996) -
First-order modal logic
ανά: Fitting, Melvin 1942-
Έκδοση: (1998) -
First-order logic /
ανά: Smullyan, Raymond M.
Έκδοση: (1968) -
Lattices over orders /
ανά: Roggenkamp, Klaus W.
Έκδοση: (1970) -
Constructive order types /
ανά: Crossley, John N.
Έκδοση: (1969)