Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Walter. Carnielli
23 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Analysis and synthesis of logics - how to cut and paste reasoning systems
|
|
c2008 |
Engelska |
2-3 |
Computability - computable functions, logic, and the foundations of mathematics
(flera utgåvor)
|
Richard L. Epstein
|
cop. 1989 |
Engelska |
4 |
Paraconsistency - the logical way to the inconsistent : proceedings of the world congress held in Sao Paulo
|
Brazil) World Congress on Paraconsistency 2000 : Sao Paulo
|
c2002 |
Engelska |
5 |
Advances in Contemporary Logic and Computer Science
|
Walter A. Carnielli
|
1999 |
Okänt |
6 |
Contradictions, From Consistency to Inconsistency
|
Walter A. Carnielli
|
2018 |
Okänt |
7 |
Advances in contemporary logic and computer science
|
Walter A; D'Ottaviano Carnielli
|
1999 |
Engelska |
8 |
Methods and applications of mathematical logic
|
Walter A. Carnielli
|
1988 |
Engelska |
9 |
Methods and Applications of Mathematical Logic
|
Walter A. Carnielli
|
1988 |
Okänt |
10 |
Modalities and Multimodalities electronic resource / by Walter Carnielli, Claudio Pizzi
|
Walter. author. Carnielli
|
uuuu-uuuu |
Okänt |
11 |
Paraconsistent Logic: Consistency, Contradiction and Negation electronic resource / by Walter Carnielli, Marcelo Esteban Coniglio
|
Walter. author. Carnielli
|
uuuu-uuuu |
Okänt |
12 |
Analysis and Synthesis of Logics electronic resource - How to Cut and Paste Reasoning Systems
|
Walter. Carnielli
|
2008 |
Engelska |
13 |
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied logic series v. 35)
|
Walter Carnielli
|
2008 |
Okänt |
14 |
Modalities and Multimodalities electronic resource - With the assistance and collaboration of Juliana Bueno-Soler
|
Walter. Carnielli
|
2008 |
Engelska |
15 |
Modalities and Multimodalities (Logic, epistemology, and the unity of science v. 12)
|
Walter Carnielli
|
2008 |
Okänt |
16 |
Paraconsistent Logic: Consistency, Contradiction and Negation
|
Walter. Carnielli
|
2016 |
Engelska |
17-18 |
Model-Based Reasoning in Science and Technology - Abduction, Logic, and Computational Discovery
(flera utgåvor)
|
Lorenzo. Magnani
|
2010 |
Engelska |
19 |
Methods and applications of mathematical logic - proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985, at the State University of Campinas
|
Latin-American Symposium on Mathematical Logic 1985 : Campinas)
|
cop. 1988 |
Engelska |
20 |
Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery
|
|
2010 |
Okänt |
1
2
Nästa sida
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.