Тема, жанр, tags: Mathematical Logic and Formal Languages,Computation by Abstract Devices,Artificial Intelligence (inc » Page 1397 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Computation by Abstract Devices,Artificial Intelligence (inc » Page 1397

book Transactions on Rough Sets VIII

Transactions on Rough Sets VIII

djvu

Author: Martin W. Bunder Mohua Banerjee Mihir K. Chakraborty (auth.) James F. Peters Andrzej Skowron (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

djvu

Author: Samson Abramsky Guy McCusker (auth.) Mogens Nielsen Wolfgang Thomas (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming — CP98: 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings

Principles and Practice of Constraint Programming — CP98: 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings

pdf

Author: Joxan Jaffar Roland H. C. Yap (auth.) Michael Maher Jean-Francois Puget (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

pdf

Author: Bart Jacobs (auth.) Richard J. Boulton Paul B. Jackson (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

pdf

Author: Amit K. Chopra Munindar P. Singh (auth.) Matteo Baldoni Ulle Endriss (eds.)
Language: English
Year: 2006

00

26.01.2024

1

0

book Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

pdf

Author: Samson Abramsky (auth.) Jacques Duparc Thomas A. Henzinger (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

pdf

Author: Joshua B. Tenenbaum (auth.) Filip Železný Nada Lavrač (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

pdf

Author: Natarajan Shankar (auth.) Alberto Pettorossi (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Advanced Distributed Systems: Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004. Revised Selected Papers

Advanced Distributed Systems: Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004. Revised Selected Papers

pdf

Author: Adolfo Guzman Arenas (auth.) Félix F. Ramos Herwig Unger Victor Larios (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Agents and Peer-to-Peer Computing: 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers

Agents and Peer-to-Peer Computing: 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers

pdf

Author: Thanasis G. Papaioannou George D. Stamoulis (auth.) Zoran Despotovic Sam Joseph Claudio Sartori (eds.)
Language: English
Year: 2006

00

26.01.2024

2

0