The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Artificial Intelligence (incl. Robotics) » Page 1545
Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
pdf
Author:
Neil Johnson Alan Mycroft (auth.) Görel Hedin (eds.)
Language:
English
Year:
2003
0
0
26.01.2024
0
0
Read online
Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers
pdf
Author:
Maria Aloni (auth.) Balder D. ten Cate Henk W. Zeevat (eds.)
Language:
English
Year:
2007
0
0
26.01.2024
0
0
Read online
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
djvu
Author:
Matthias Baaz Alexander Leitsch Richard Zach (auth.) Hans Kleine Büning (eds.)
Language:
English
Year:
1996
0
0
26.01.2024
0
0
Read online
Artificial Intelligence and Soft Computing - ICAISC 2004: 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings
djvu
Author:
Danilo Ardagna Chiara Francalanci Vincenzo Piuri Fabio Scotti (auth.) Leszek Rutkowski Jörg H. Siekmann Ryszard Tadeusiewicz Lotfi A. Zadeh (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
2
0
Read online
Compiler Construction: 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings
djvu
Author:
Peter Ørbæk (auth.) Peter A. Fritzson (eds.)
Language:
English
Year:
1994
0
0
26.01.2024
2
0
Read online
Algorithmic Learning Theory: 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings
pdf
Author:
Nicolò Cesa-Bianchi Masayuki Numao Rüdiger Reischuk (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
3
0
Read online
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
pdf
Author:
Thomas Kropf (auth.) Yves Bertot Gilles Dowek Laurent Théry André Hirschowitz Christine Paulin (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
Integer Optimization by Local Search: A Domain-Independent Approach
pdf
Author:
Fred Glover (auth.) Joachim Paul Walser (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
pdf
Author:
Petr Hájek (auth.) Georg Gottlob Etienne Grandjean Katrin Seyr (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers
djvu
Author:
Jürgen Dix Luís Moniz Pereira (auth.) Jürgen Dix Luís Moniz Pereira Teodor C. Przymusinski (eds.)
Language:
English
Year:
1997
0
0
26.01.2024
0
0
Read online
1
...
1541
1542
1543
1544
1545
1546
1547
1548
1549
...
1566
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
