Тема, жанр, tags: Philosophy,Logic,Semantics,Mathematical Logic and Foundations,Mathematical Logic and Formal Language » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Philosophy,Logic,Semantics,Mathematical Logic and Foundations,Mathematical Logic and Formal Language

book Constructive Semantics: Meaning in Between Phenomenology and Constructivism

Constructive Semantics: Meaning in Between Phenomenology and Constructivism

pdf

Author: Christina Weiss
Language: English
Year: 2019

00

05.02.2024

0

0

book Modelling and Reasoning with Vague Concepts

Modelling and Reasoning with Vague Concepts

djvu

Author: Dr. Jonathan Lawry (auth.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings

Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings

pdf

Author: Rudolf Wille (auth.) Peter Eklund (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

pdf

Author: Dr. Johann M. Schumann (auth.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Modelling and Reasoning with Vague Concepts

Modelling and Reasoning with Vague Concepts

pdf

Author: Dr. Jonathan Lawry (auth.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Intelligent Data Engineering and Automated Learning: 4th International Conference, IDEAL 2003, Hong Kong, China, March 21-23, 2003. Revised Papers

Intelligent Data Engineering and Automated Learning: 4th International Conference, IDEAL 2003, Hong Kong, China, March 21-23, 2003. Revised Papers

pdf

Author: Jin-Hyuk Hong Sung-Bae Cho (auth.) Jiming Liu Yiu-ming Cheung Hujun Yin (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

pdf

Author: Béatrice Bérard Michel Bidoit Alain Finkel François Laroussinie Antoine Petit Laure Petrucci Philippe Schnoebelen Pierre McKenzie (auth.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

pdf

Author: Neil Mitchell (auth.) Ute Schmid Emanuel Kitzelmann Rinus Plasmeijer (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

pdf

Author: Neil Mitchell (auth.) Ute Schmid Emanuel Kitzelmann Rinus Plasmeijer (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

pdf

Author: Freek Wiedijk (auth.) Freek Wiedijk (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0