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.