| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
05/01/1993 |
|
Data da última atualização: |
23/01/2008 |
|
Autoria: |
ROBINSON, J. A. |
|
Título: |
Logic: form and function: the mechanization of deductive reasoning. |
|
Ano de publicação: |
1979 |
|
Fonte/Imprenta: |
New York: Elsevier North Holland, 1979. |
|
Páginas: |
312p. |
|
Série: |
(Artificial Intelligence Series). |
|
ISBN: |
0-444-19467-3 |
|
Idioma: |
Inglês |
|
Conteúdo: |
Logic: form and content; Formulas: syntax and intuitive semantics; Boolean analysis of sentences; Infinitive finitary trees and boolean compactness; Semantic analysis of sentences and terms; Logical consequence: sequents and proofs; Logical equivalence: substitutivity and variants; Normal forms of sentences and sequents; Herbrand models and maps; Quad notation for clausal sequents; Unification; Resolution; Resolution on the computer; Historical notes; Appedix; Index. |
|
Palavras-Chave: |
Lógica matemática. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 00919nam a2200157 a 4500
001 1001219
005 2008-01-23
008 1979 bl uuuu 00u1 u #d
020 $a0-444-19467-3
100 1 $aROBINSON, J. A.
245 $aLogic$bform and function: the mechanization of deductive reasoning.
260 $aNew York: Elsevier North Holland$c1979
300 $a312p.
490 $a(Artificial Intelligence Series).
520 $aLogic: form and content; Formulas: syntax and intuitive semantics; Boolean analysis of sentences; Infinitive finitary trees and boolean compactness; Semantic analysis of sentences and terms; Logical consequence: sequents and proofs; Logical equivalence: substitutivity and variants; Normal forms of sentences and sequents; Herbrand models and maps; Quad notation for clausal sequents; Unification; Resolution; Resolution on the computer; Historical notes; Appedix; Index.
653 $aLógica matemática
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 2 | |
| 2. |  | FRANÇA, F. M.; BENKWITT, C. E.; PERALTA, G.; ROBINSON, J. P. W.; GRAHAM, N. A. J.; TYLIANAKIS, J. M.; BERENGUER, E.; LEES, A. C.; FERREIRA, J. N.; LOUZADA, J.; BARLOW, J. Climatic and local stressor interactions threaten tropical forests and coral reefs. Philosophical Transactions of the Royal Society B, v. 375, n. 1794, 2020.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
| Biblioteca(s): Embrapa Amazônia Oriental. |
|    |
| Registros recuperados : 2 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
