Didier Galmiche | Akateeminen Kirjakauppa

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

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS - INTERNATIONAL CONFERENCE, TABLEAUX'97, PONT-A-MOUSSON, FRANCE,

Didier Galmiche
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1997)
Pehmeäkantinen kirja

51,40 €

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS - 22ND INTERNATIONAL CONFERENCE, TABLEAUX 2013, NANCY, FRANCE, SE

Didier Galmiche; Dominique Larchey-Wendling
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

47,40 €

AUTOMATED REASONING - 9TH INTERNATIONAL JOINT CONFERENCE, IJCAR 2018, HELD AS PART OF THE FEDERATED LOGIC CONFERENCE, FLOC 2018,

Didier Galmiche; Stephan Schulz; Roberto Sebastiani
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

51,40 €

Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX'97, Pont-a-Mousson, France,

Didier Galmiche

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 380 sivua
Asu: Pehmeäkantinen kirja
Painos: 1997 ed.
Julkaisuvuosi: 1997, 29.04.1997 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Artificial Intelligence

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.
The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus