Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540250517, 9783540322542

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Description of Natural Languages: An HPSG Grammar of Polish

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning ◽

10.1007/978-3-540-32254-2_18 ◽

2005 ◽

pp. 297-320

Author(s):

Leonard Bolc

Keyword(s):

Formal Description ◽

Natural Languages

Download Full-text

Some Reflections on Proof Transformations

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning ◽

10.1007/978-3-540-32254-2_2 ◽

2005 ◽

pp. 14-29

Author(s):

Peter B. Andrews

Download Full-text

Footprints of Conditionals

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning ◽

10.1007/978-3-540-32254-2_6 ◽

2005 ◽

pp. 99-119

Author(s):

Christoph Beierle ◽

Gabriele Kern-Isberner

Download Full-text

Decidable Variants of Higher-Order Unification

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning ◽

10.1007/978-3-540-32254-2_10 ◽

2005 ◽

pp. 154-168 ◽

Cited By ~ 1

Author(s):

Manfred Schmidt-Schauß

Keyword(s):

Higher Order

Download Full-text

Formal Software Development in MAYA

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning ◽

10.1007/978-3-540-32254-2_24 ◽

2005 ◽

pp. 407-432 ◽

Cited By ~ 5

Author(s):

Dieter Hutter ◽

Serge Autexier

Keyword(s):

Software Development

Download Full-text

From MKRP to ΩMEGA

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning ◽

10.1007/978-3-540-32254-2_9 ◽

2005 ◽

pp. 139-153

Author(s):

Manfred Kerber

Download Full-text

A Portrait of a Scientist: Logic, AI and Politics

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning ◽

10.1007/978-3-540-32254-2_1 ◽

2005 ◽

pp. 1-13

Author(s):

Dieter Hutter ◽

Werner Stephan

Download Full-text

Why Proof Planning for Maths Education and How?

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning ◽

10.1007/978-3-540-32254-2_21 ◽

2005 ◽

pp. 364-378

Author(s):

Erica Melis

Keyword(s):

Proof Planning

Download Full-text

Description Logics as Ontology Languages for the Semantic Web

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning ◽

10.1007/978-3-540-32254-2_14 ◽

2005 ◽

pp. 228-248 ◽

Cited By ~ 85

Author(s):

Franz Baader ◽

Ian Horrocks ◽

Ulrike Sattler

Keyword(s):

Semantic Web ◽

Description Logics ◽

Ontology Languages

Download Full-text

The Impact of Models in Software Development

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning ◽

10.1007/978-3-540-32254-2_23 ◽

2005 ◽

pp. 396-406 ◽

Cited By ~ 2

Author(s):

Manfred Broy

Keyword(s):

Software Development ◽

The Impact

Download Full-text

Lecture Notes in Computer Science - Mechanizing Mathematical ReasoningLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Formal Description of Natural Languages: An HPSG Grammar of Polish

Some Reflections on Proof Transformations

Footprints of Conditionals

Decidable Variants of Higher-Order Unification

Formal Software Development in MAYA

From MKRP to ΩMEGA

A Portrait of a Scientist: Logic, AI and Politics

Why Proof Planning for Maths Education and How?

Description Logics as Ontology Languages for the Semantic Web

The Impact of Models in Software Development

Lecture Notes in Computer Science - Mechanizing Mathematical Reasoning
Latest Publications