The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Software Engineerin » Page 1405
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
0
0
26.01.2024
0
0
Read online
Principles and Practice of Constraint Programming – CP 2000: 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings
pdf
Author:
Alan K. Mackworth (auth.) Rina Dechter (eds.)
Language:
English
Year:
2000
0
0
26.01.2024
0
0
Read online
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
djvu
Author:
David A. Basin (auth.) Laurent Fribourg Franco Turini (eds.)
Language:
English
Year:
1994
0
0
26.01.2024
0
0
Read online
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
pdf
Author:
V. Michele Abrusci (auth.) Marta Cialdea Mayer Fiora Pirri (eds.)
Language:
English
Year:
2003
0
0
26.01.2024
0
0
Read online
Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
pdf
Author:
Andreas Blass Yuri Gurevich (auth.) Peter G. Clote Helmut Schwichtenberg (eds.)
Language:
English
Year:
2000
0
0
26.01.2024
0
0
Read online
Artificial Immune Systems: 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings
pdf
Author:
Jose Faro Jaime Combadao Isabel Gordo (auth.) Hugues Bersini Jorge Carneiro (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
0
0
Read online
Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment: First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers
pdf
Author:
Joaquin Quiñonero-Candela (auth.) Joaquin Quiñonero-Candela Ido Dagan Bernardo Magnini Florence d’Alché-Buc (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
2
0
Read online
Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
djvu
Author:
Stål Aanderaa (auth.) E. Börger G. Jäger H. Kleine Büning S. Martini M. M. Richter (eds.)
Language:
English
Year:
1993
0
0
26.01.2024
2
0
Read online
Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
pdf
Author:
Michael I. Schwartzbach (auth.) Laurie Hendren (eds.)
Language:
English
Year:
2008
0
0
26.01.2024
0
0
Read online
Automata, Languages and Programming: 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings
djvu
Author:
Maurizio Gabbrielli Giorgio Levi (auth.) Javier Leach Albert Burkhard Monien Mario Rodríguez Artalejo (eds.)
Language:
English
Year:
1991
0
0
26.01.2024
0
0
Read online
1
...
1401
1402
1403
1404
1405
1406
1407
1408
1409
...
1425
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
