Cover Image
Read Now

1
by Narendran, Paliath
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...-Order Reasoning -- TaMeD: A Tableau Method for Deduction Modulo -- Lambda Logic -- Formalizing...”
Cover Image
Read Now

3
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Session 3: Invited Talk -- Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas...”