Тема, жанр, tags: Artificial Intelligence (incl. Robotics) » Page 1543 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics) » Page 1543

book Compiler Construction: 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Compiler Construction: 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

djvu

Author: Klaus Brouwer Wolfgang Gellerich Erhard Ploedereder (auth.) Kai Koskimies (eds.)
Language: English
Year: 1998

00

26.01.2024

2

0

book Evolutionary image analysis and signal processing

Evolutionary image analysis and signal processing

pdf

Author: Cynthia B. Pérez Gustavo Olague Evelyne Lutton Francisco Fernández (auth.) Stefano Cagnoni (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

djvu

Author: David Aspinall (auth.) Leszek Pacholski Jerzy Tiuryn (eds.)
Language: English
Year: 1995

00

26.01.2024

1

0

book Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

pdf

Author: Ulrich Geske Hans-Joachim Goltz (auth.) Dietmar Seipel Michael Hanus Armin Wolf (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

djvu

Author: M. Alpuente M. Falaschi G. Moreno G. Vidal (auth.) Michael Hanus Jan Heering Karl Meinke (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings

Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings

pdf

Author: Henry Kautz Bart Selman (auth.) Francesca Rossi (eds.)
Language: English
Year: 2003

00

26.01.2024

3

0

book Mobile Agents for Telecommunication Applications: Second International Workshop, MATA 2000 Paris, France, September 18–20, 2000 Proceedings

Mobile Agents for Telecommunication Applications: Second International Workshop, MATA 2000 Paris, France, September 18–20, 2000 Proceedings

pdf

Author: Romit RoyChoudhuri S. Bandyopadhyay Krishna Paul (auth.) Eric Horlait (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

djvu

Author: Thomas Reps Susan Horwitz (auth.) H. Ganzinger (eds.)
Language: English
Year: 1988

00

26.01.2024

0

0

book Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, AII '94 5th International Workshop on Algorithmic Learning Theory, ALT '94 Reinhardsbrunn Castle, Germany October 10–15, 1994 Proceedings

Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, AII '94 5th International Workshop on Algorithmic Learning Theory, ALT '94 Reinhardsbrunn Castle, Germany October 10–15, 1994 Proceedings

djvu

Author: Jānis Barzdinš (auth.) Setsuo Arikawa Klaus P. Jantke (eds.)
Language: English
Year: 1994

00

26.01.2024

1

0

book Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

pdf

Author: Matthias Baaz (auth.) Uwe Egly Chritian G. Fermüller (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0