KIRJAUDU

ostoskori

avaa valikko

Daniele Mundici | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 12 tuotetta
Haluatko tarkentaa hakukriteerejä?

THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS : 5TH INTERNATIONAL WORKSHOP, TABLEAUX '96, TERRASINI (PALERMO), ITAL

Pierangelo Miglioli (ed.); Ugo Moscato (ed.); Daniele Mundici (ed.); Mario Ornaghi (ed.)
Springer (1996)
Pehmeäkantinen kirja

51,40 €

LOGICA: METODO BREVE

Daniele Mundici
Springer Verlag (2011)
Pehmeäkantinen kirja

29,40 €

LOGIC: A BRIEF COURSE

Daniele Mundici
Springer (2012)
Pehmeäkantinen kirja

51,40 €

ALGEBRAIC FOUNDATIONS OF MANY-VALUED REASONING

R.L. Cignoli; Itala M. d'Ottaviano; Daniele Mundici
Springer (1999)
Kovakantinen kirja

101,40 €

LOGIC AND SCIENTIFIC METHODS : VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, F

Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Springer (1996)
Kovakantinen kirja

179,00 €

STRUCTURES AND NORMS IN SCIENCE : VOLUME TWO OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE

Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Springer (1996)
Kovakantinen kirja

179,00 €

COMPUTATIONAL LOGIC AND PROOF THEORY : THIRD KURT GÖDEL COLLOQUIUM, KGC'93, BRNO, CZECH REPUBLIC, AUGUST 24-27, 1993. PROCEEDING

Georg Gottlob (ed.); Alexander Leitsch (ed.); Daniele Mundici (ed.)
Springer (1993)
Pehmeäkantinen kirja

51,40 €

COMPUTATIONAL LOGIC AND PROOF THEORY : 5TH KURT GÖDEL COLLOQUIUM, KGC'97, VIENNA, AUSTRIA, AUGUST 25-29, 1997, PROCEEDINGS

Georg Gottlob (ed.); Alexander Leitsch (ed.); Daniele Mundici (ed.)
Springer (1997)
Pehmeäkantinen kirja

51,40 €

LOGIC AND SCIENTIFIC METHODS : VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, F

Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Springer (2010)
Pehmeäkantinen kirja

179,00 €

STRUCTURES AND NORMS IN SCIENCE : VOLUME TWO OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE

Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Springer (2010)
Pehmeäkantinen kirja

179,00 €

ALGEBRAIC FOUNDATIONS OF MANY-VALUED REASONING

R.L. Cignoli; Itala M. d'Ottaviano; Daniele Mundici
Springer (2010)
Pehmeäkantinen kirja

101,40 €

STRUCTURES AND NORMS IN SCIENCE : VOLUME TWO OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE

Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Springer (1996)
Kirja

268,00 €

Hae lisää...

Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Ital

Pierangelo Miglioli (ed.), Ugo Moscato (ed.), Daniele Mundici (ed.), Mario Ornaghi (ed.)

51,40 €

Springer
Sivumäärä: 336 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1996, 24.04.1996 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Artificial Intelligence

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.
The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus