The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Artificial Intelligence (incl. Robotics) » Page 1526
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
djvu
Author:
Wayne Wolf (auth.) Alan J. Hu Andrew K. Martin (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
pdf
Author:
George C. Necula Sumit Gulwani (auth.) Kousha Etessami Sriram K. Rajamani (eds.)
Language:
English
Year:
2005
0
0
26.01.2024
0
0
Read online
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings
pdf
Author:
N. G. de Bruijn (auth.) Harrie de Swart (eds.)
Language:
English
Year:
1998
0
0
26.01.2024
0
0
Read online
Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
pdf
Author:
Amir Pnueli (auth.) E. Allen Emerson Aravinda Prasad Sistla (eds.)
Language:
English
Year:
2000
0
0
26.01.2024
1
0
Read online
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
djvu
Author:
Peter B. Andrews Matthew Bishop (auth.) P. Miglioli U. Moscato D. Mundici M. Ornaghi (eds.)
Language:
English
Year:
1996
0
0
26.01.2024
1
0
Read online
CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
djvu
Author:
Klaus Ambos-Spies Dongping Yang (auth.) Egon Börger Hans Kleine Büning Michael M. Richter (eds.)
Language:
English
Year:
1990
0
0
26.01.2024
0
0
Read online
Inductive Logic Programming: 7th International Workshop, ILP-97 Prague, Czech Republic September 17–20, 1997 Proceedings
djvu
Author:
Usama Fayyad (auth.) Nada Lavrač Sašo Džeroski (eds.)
Language:
English
Year:
1997
0
0
26.01.2024
0
0
Read online
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
pdf
Author:
Kung-Kiu Lau (auth.)
Language:
English
Year:
2001
0
0
26.01.2024
0
0
Read online
Inductive Logic Programming: 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
pdf
Author:
Paolo Frasconi (auth.) Hendrik Blockeel Jan Ramon Jude Shavlik Prasad Tadepalli (eds.)
Language:
English
Year:
2008
0
0
26.01.2024
3
0
Read online
Algorithmic Learning Theory: Third Workshop, ALT '92 Tokyo, Japan, October 20–22, 1992 Proceedings
djvu
Author:
Setsuko Otsuki (auth.) Shuji Doshita Koichi Furukawa Klaus P. Jantke Toyaki Nishida (eds.)
Language:
English
Year:
1993
0
0
26.01.2024
0
0
Read online
1
...
1522
1523
1524
1525
1526
1527
1528
1529
1530
...
1566
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
