Carregant...
Logic for computer science : foundations of automatic theorem proving /
| Autor principal: | Gallier, Jean H. |
|---|---|
| Format: | Printed Book |
| Idioma: | English |
| Publicat: |
New York, NY :
Harper & Row,
c1986.
|
| Matèries: |
Ítems similars
-
Logic for computer science: foundations of automatic theorem proving
per: Gallier, Jean H; Author
Publicat: (1987) -
Logic for computer science : foundations of automatic theorem proving /
per: Gallier, Jean H.
Publicat: (2015) -
Logic for computer science : Foundations of Automatic Theorem proving/
per: Gallier, Jean H.
Publicat: (1987) -
Logic For Computer Science: Foundations Of Automatic Theorem Proving
per: Gallier, Jean H
Publicat: (1987) -
Logic In Computer Science /
per: Huth, Michael .
Publicat: (2004)