The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logic Design,Logics » Page 1539
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
djvu
Author:
Sten Agerholm (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Joakim von Wright Jim Grundy John Harrison (eds.)
Language:
English
Year:
1996
0
0
26.01.2024
0
0
Read online
Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings
djvu
Author:
François Bry Włodzimierz Drabent (auth.) Hans Jürgen Ohlbach Sebastian Schaffert (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
6
0
Read online
Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers
pdf
Author:
Wolfram Kahl (auth.) Harrie C. M. de Swart (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
1
0
Read online
Algorithmic Learning Theory: 8th International Workshop, ALT '97 Sendai, Japan, October 6–8, 1997 Proceedings
djvu
Author:
Manuel Blum (auth.) Ming Li Akira Maruoka (eds.)
Language:
English
Year:
1997
0
0
26.01.2024
0
0
Read online
Advances in Natural Computation: Second International Conference, ICNC 2006, Xi’an, China, September 24-28, 2006. Proceedings, Part I
pdf
Author:
Qing Wu Sanyang Liu Leyou Zhang (auth.) Licheng Jiao Lipo Wang Xin-bo Gao Jing Liu Feng Wu (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
0
0
Read online
Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings
pdf
Author:
Krzysztof R. Apt (auth.) Joxan Jaffar (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
pdf
Author:
Michael Wooldridgey Paolo Ciancarini (auth.) Paolo Ciancarini Michael J. Wooldridge (eds.)
Language:
English
Year:
2001
0
0
26.01.2024
0
0
Read online
Delay differential equations: Recent advances and new directions
pdf
Author:
Hongfei Li Keqin Gu (auth.) David E. Gilsinn Tamás Kalmár-Nagy Balakumar Balachandran (eds.)
Language:
English
Year:
2009
0
0
26.01.2024
0
0
Read online
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
djvu
Author:
Yuri Matiyasevich (auth.) Jieh Hsiang (eds.)
Language:
English
Year:
1995
0
0
26.01.2024
2
0
Read online
Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings
pdf
Author:
Baoqiu Cui Yifei Dong Xiaoqun Du (auth.) Catuscia Palamidessi Hugh Glaser Karl Meinke (eds.)
Language:
English
Year:
1998
0
0
26.01.2024
2
0
Read online
1
...
1535
1536
1537
1538
1539
1540
1541
1542
1543
...
1566
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через