Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Programming Techniq » Page 7 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Programming Techniq » Page 7

book Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

pdf

Author: Nicola Leone (auth.) Chitta Baral Gerhard Brewka John Schlipf (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

pdf

Author: Thomas Reps Mooly Sagiv Jörg Bauer (auth.) Thomas Reps Mooly Sagiv Jörg Bauer (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

pdf

Author: Howard Barringer Dov M. Gabbay (auth.) Zohar Manna Doron A. Peled (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Algorithm Theory - SWAT 2010: 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

Algorithm Theory - SWAT 2010: 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

pdf

Author: Jurek Czyzowicz David Ilcinkas Arnaud Labourel (auth.) Haim Kaplan (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

pdf

Author: Janusz Brzozowski (auth.) Adrian-Horia Dediu Henning Fernau Carlos Martín-Vide (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

pdf

Author: Toby Walsh (auth.) Jürgen Dix João Leite Guido Governatori Wojtek Jamroga (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Transactions on Rough Sets XII

Transactions on Rough Sets XII

pdf

Author: Lech Polkowski Maria Semeniuk–Polkowska (auth.) James F. Peters Andrzej Skowron Roman Słowiński Pawan Lingras Duoqian Miao Shusaku Tsumoto (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

pdf

Author: Gianfranco Rossi (auth.) Agostino Dovier Enrico Pontelli (eds.)
Language: English
Year: 2010

00

06.02.2024

2

0

book Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

pdf

Author: Anders Schack-Nielsen Carsten Schürmann (auth.) Jürgen Giesl Reiner Hähnle (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

pdf

Author: Yehuda Naveh (auth.) Ofer Strichman Stefan Szeider (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0