Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Learning Language in LogicCussens, James ; Dzeroski, Saso Džeroski, Sašo ; Cussens, JamesBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 ProceedingsStickel, Mark E Stickel, Mark E.Berlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983Clarke, Edmund ; Kozen, Dexter Clarke, Edmund ; Kozen, DexterBerlin, Heidelberg: Springer Berlin Heidelberg 1984Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
First-Order Logic and Automated Theorem ProvingFitting, MelvinNew York, NY: Springer New York 1996Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Logic for ApplicationsNerode, Anil ; Shore, Richard ANew York, NY: Springer 1997Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 ProceedingsNerode, Anil ; Matiyasevich, Yu. V Matiyasevich, Yu. V. ; Nerode, AnilBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 ProceedingsSiekmann, Jörg H Siekmann, Jörg H.Berlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 ProceedingsDyckhoff, Roy Dyckhoff, RoyBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Mathematical Logic for Computer ScienceBen-Ari, MordechaiLondon: Springer Nature 2012Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 ProceedingsPfenning, Frank Pfenning, FrankBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |