Theory of deductive systems and its applications /
Guardado en:
| Autor principal: | Maslov, Sergei IUr'evich |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Cambridge :
Massachusetts institute of technology,
1987
|
| Colección: | MIT press series in the fopundations of computing
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Ejemplares similares
-
An introduction to probability theory and its applications /
por: Feller, William
Publicado: (1962) -
An introduction to probability theory and its applications /
por: Feller, William
Publicado: (1962) -
The deductive foundations of computer programming /
por: Manna, Zohar
Publicado: (1993) -
Logic and its applications /
por: Burke, Edmund
Publicado: (1996) -
Techniques of deductive inference
por: Leblanc, Hugues
Publicado: (1966)