Тема, жанр, tags: Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Artificial Intelligence (inc » Page 1395 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Artificial Intelligence (inc » Page 1395

book Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

pdf

Author: David Lorge Parnas (auth.) Gérard Berry Hubert Comon Alain Finkel (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

pdf

Author: Matthew M. Huntbach Graem A. Ringwood (auth.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

pdf

Author: Franz Baader Barış Sertkaya (auth.) Sébastien Ferré Sebastian Rudolph (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

pdf

Author: Kokichi Futatsugi (auth.) Zhenjiang Hu Mario Rodríguez-Artalejo (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part I

Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part I

djvu

Author: Colin Molter Naoyuki Sato Utku Salihoglu Yoko Yamaguchi (auth.) Irwin King Jun Wang Lai-Wan Chan DeLiang Wang (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Artificial Immune Systems: 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings

Artificial Immune Systems: 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings

djvu

Author: Jose Faro Jaime Combadao Isabel Gordo (auth.) Hugues Bersini Jorge Carneiro (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Mathematics of Fuzziness – Basic Issues

Mathematics of Fuzziness – Basic Issues

pdf

Author: Xuzhu Wang Da Ruan Etienne E. Kerre (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book SOFSEM'96: Theory and Practice of Informatics: 23rd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 23–30, 1996 Proceedings

SOFSEM'96: Theory and Practice of Informatics: 23rd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 23–30, 1996 Proceedings

djvu

Author: Ricardo Baeza-Yates (auth.) Keith G. Jeffery Jaroslav Král Miroslav Bartošek (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Compiler Construction: 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings

Compiler Construction: 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings

djvu

Author: Jian Wang Guang R. Gao (auth.) Tibor Gyimóthy (eds.)
Language: English
Year: 1996

00

26.01.2024

1

0

book Computer Vision Approaches to Medical Image Analysis: Second International ECCV Workshop, CVAMIA 2006 Graz, Austria, May 12, 2006 Revised Papers

Computer Vision Approaches to Medical Image Analysis: Second International ECCV Workshop, CVAMIA 2006 Graz, Austria, May 12, 2006 Revised Papers

djvu

Author: Tatiana Tommasi Elisabetta La Torre Barbara Caputo (auth.) Reinhard R. Beichel Milan Sonka (eds.)
Language: English
Year: 2006

00

26.01.2024

2

0