Тема, жанр, tags: Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logic Design,Logics » Page 1539 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logic Design,Logics » Page 1539

book Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

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

00

26.01.2024

0

0

book Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

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

00

26.01.2024

6

0

book 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

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

00

26.01.2024

1

0

book Algorithmic Learning Theory: 8th International Workshop, ALT '97 Sendai, Japan, October 6–8, 1997 Proceedings

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

00

26.01.2024

0

0

book Advances in Natural Computation: Second International Conference, ICNC 2006, Xi’an, China, September 24-28, 2006. Proceedings, Part I

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

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings

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

00

26.01.2024

0

0

book Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers

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

00

26.01.2024

0

0

book Delay differential equations: Recent advances and new directions

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

00

26.01.2024

0

0

book Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

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

00

26.01.2024

2

0

book 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

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

00

26.01.2024

2

0