First-order logic and automated theorem proving /
Guardado en:
| Autor principal: | Fitting, Melvin |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
New York :
Springer Verlag,
1996
|
| Edición: | 2nd ed. |
| Colección: | Graduates texts in computer science
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Ejemplares similares
-
Firts-order logic
por: Smullyan, Raymond M.
Publicado: (1995) -
Symbolic logic and mechanical theorem proving /
por: Chin-liang Chang
Publicado: (1973) -
Logic for applications /
Publicado: (1997) -
Logic and its applications /
por: Burke, Edmund
Publicado: (1996) -
Handbook of logic in computer science /
Publicado: (1999)