The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Computer Communication Networks,Software Engineering,Logics » Page 1389
Advances in Agent Communication: International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers
pdf
Author:
Andrew J. I. Jones Xavier Parent (auth.) Frank Dignum (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
djvu
Author:
Bernard Boigelot Patrice Godefroid (auth.) Rajeev Alur Thomas A. Henzinger (eds.)
Language:
English
Year:
1996
0
0
26.01.2024
0
0
Read online
Computational Linguistics and Intelligent Text Processing: 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005. Proceedings
djvu
Author:
Kevin Knight Jonathan Graehl (auth.) Alexander Gelbukh (eds.)
Language:
English
Year:
2005
0
0
26.01.2024
0
0
Read online
Learning Theory: 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings
pdf
Author:
Stéphan Clémençon Gábor Lugosi Nicolas Vayatis (auth.) Peter Auer Ron Meir (eds.)
Language:
English
Year:
2005
0
0
26.01.2024
1
0
Read online
Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
djvu
Author:
Yaniv Bargury Johann Makowsky (auth.) Egon Börger Gerhard Jäger Hans Kleine Büning Michael M. Richter (eds.)
Language:
English
Year:
1992
0
0
26.01.2024
0
0
Read online
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
pdf
Author:
Paul-André Melliès (auth.) Zoltán Ésik (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
0
0
Read online
Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings
djvu
Author:
F. Erich Marschner (auth.) Orna Grumberg (eds.)
Language:
English
Year:
1997
0
0
26.01.2024
1
0
Read online
Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
djvu
Author:
Randal E. Bryant (auth.) Pierre Wolper (eds.)
Language:
English
Year:
1995
0
0
26.01.2024
0
0
Read online
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
pdf
Author:
Cristiano Calcagno Dino Distefano (auth.) Michael Hanus (eds.)
Language:
English
Year:
2009
0
0
26.01.2024
0
0
Read online
NEWCAT: Parsing Natural Language Using Left-Associative Grammar
djvu
Author:
Roland Hausser (auth.)
Language:
English
Year:
1986
0
0
26.01.2024
0
0
Read online
1
...
1385
1386
1387
1388
1389
1390
1391
1392
1393
...
1425
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
