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

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

book Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

pdf

Author: Klaus Aehlig Jan Johannsen Helmut Schwichtenberg (auth.) Reinhard Kahle Peter Schroeder-Heister Robert Stärk (eds.)
Language: English
Year: 2001

00

26.01.2024

1

0

book Progress in Discovery Science: Final Report of the Japanese Dicsovery Science Project

Progress in Discovery Science: Final Report of the Japanese Dicsovery Science Project

pdf

Author: Koichi Takahashi Masami Hagiya (auth.) Setsuo Arikawa Ayumi Shinohara (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

pdf

Author: Shabbir Ahmed (auth.) Frédéric Benhamou (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

pdf

Author: George Necula (auth.) Alan Mycroft Andreas Zeller (eds.)
Language: English
Year: 2006

00

26.01.2024

1

0

book Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

pdf

Author: Tobias Nipkow Markus Wenzel Lawrence C. Paulson (eds.)
Language: English
Year: 2002

00

26.01.2024

2

0

book Fuzzy Systems and Knowledge Discovery: Third International Conference, FSKD 2006, Xi’an, China, September 24-28, 2006. Proceedings

Fuzzy Systems and Knowledge Discovery: Third International Conference, FSKD 2006, Xi’an, China, September 24-28, 2006. Proceedings

djvu

Author: QingE Wu Tuo Wang YongXuan Huang JiSheng Li (auth.) Lipo Wang Licheng Jiao Guanming Shi Xue Li Jing Liu (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

pdf

Author: Mauro Gargano Mark Hillebrand Dirk Leinenbach Wolfgang Paul (auth.) Joe Hurd Tom Melham (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Content Computing: Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004. Proceedings

Content Computing: Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004. Proceedings

pdf

Author: Xiaolong Yang Qianbin Chen Youju Mao Keping Long Bin Ma (auth.) Chi-Hung Chi Kwok-Yan Lam (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Statistical Learning Theory and Stochastic Optimization: Ecole d’Eté de Probabilités de Saint-Flour XXXI - 2001

Statistical Learning Theory and Stochastic Optimization: Ecole d’Eté de Probabilités de Saint-Flour XXXI - 2001

pdf

Author: Olivier Catoni (auth.) Jean Picard (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Viability theory

Viability theory

djvu

Author: Jean-Pierre Aubin (auth.)
Language: English
Year: 2009

00

26.01.2024

1

0