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

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

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

book Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

pdf

Author: Andreas Zeller (auth.) Rastislav Bodik (eds.)
Language: English
Year: 2005

00

26.01.2024

3

0

book Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings

pdf

Author: J. C. González-Moreno M. T. Hortalá-González (auth.) Aart Middeldorp Taisuke Sato (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

pdf

Author: Eugene C. Freuder (auth.) Jacques Calmet Belaid Benhamou Olga Caprotti Laurent Henocque Volker Sorge (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Procee

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Procee

pdf

Author: Marc Pauly (auth.) Rudolf Berghammer Bernhard Möller Georg Struth (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0