Detailansicht

Computational Logic

NATO ASI Subseries F: 165
Springer Verlag GmbH
ISBN/EAN: 9783642636707
Umbreit-Nr.: 5452378

Sprache: Englisch
Umfang: ix, 448 S.
Format in cm:
Einband: kartoniertes Buch

Erschienen am 29.10.2012
Auflage: 1/1999
€ 160,49
(inklusive MwSt.)
Lieferbar innerhalb 1 - 2 Wochen
Beim Buchhandel bestellen
  • Zusatztext
    • InhaltsangabeGame Semantics.- Notes on the Simply Typed Lambda Calculus.- Problems in Type Theory.- Formal Correctness Proofs of Functional Programs: Dijkstra's Algorithm, a Case Study.- Propositional Proof Complexity - An Introduction.- Formalizing Decidability Theorems About Automata.- On the Meaning of Logical Rules I: Syntax Versus Semantics.- Complexity of Primitive Recursion.- Computers, Reasoning and Mathematical Practice.- Research Directions in Rewriting Logic.- Sequent Calculus and the Specification of Computation.