Automated reasoning with analytic tableaux and related methods / TABLEAUX

Public ISBD Titre : Automated reasoning with analytic tableaux and related methods Titre original : International conference, TABLEAUX '97 Type de document : texte imprimé Auteurs : TABLEAUX ; Galmiche, Didier Ed. Editeur : Springer-Verlag Année de publication : 1997 Collection : Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence num. 1227 Importance : xi - 373 p. ISBN/ISSN/EAN : 978-3-540-62920-7 Langues : Anglais Mots-clés : related methods  analytical tableaux  automated reasoning  tableaux '97  conference  proceedings  pont-a-mousson (france) Index. décimale : IRIN Automated reasoning with analytic tableaux and related methods = International conference, TABLEAUX '97 [texte imprimé] / TABLEAUX ; Galmiche, Didier Ed. . - [S.l.] : Springer-Verlag, 1997 . - xi - 373 p.. - (Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence; 1227) . ISBN : 978-3-540-62920-7 Langues : Anglais Mots-clés : related methods  analytical tableaux  automated reasoning  tableaux '97  conference  proceedings  pont-a-mousson (france) Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12964	IRIN/03C63	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Constraint-based agents / Nareyek, Alexander

Public ISBD Titre : Constraint-based agents : an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds Type de document : texte imprimé Auteurs : Nareyek, Alexander Editeur : Springer-Verlag Année de publication : 2001 Collection : Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence num. 2062 Importance : xiv - 178 p. ISBN/ISSN/EAN : 978-3-540-42258-7 Langues : Anglais Catégories : 68-XX Computer science :68UXX Computing methodologies and applications:68U99 None of the above, but in this section Mots-clés : computing methodologies Index. décimale : IRIN Constraint-based agents : an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds [texte imprimé] / Nareyek, Alexander . - [S.l.] : Springer-Verlag, 2001 . - xiv - 178 p.. - (Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence; 2062) . ISBN : 978-3-540-42258-7 Langues : Anglais Catégories : 68-XX Computer science :68UXX Computing methodologies and applications:68U99 None of the above, but in this section Mots-clés : computing methodologies Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13531	IRIN/68C168	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1