عنوان
پدید آورنده
موضوع
رده
QA76.9.L63 E358 1999
QA76
.
9
.
L63
E358
1999
کتابخانه
محل استقرار
3540645896
3642586228
9783540645894
9783642586224
b558357
Computational logic
[Book]
edited by Ulrich Berger, Helmut Schwichtenberg.
Berlin ; New York
Springer
1999
(444 pages :) : illustrations.
NATO ASI series., Series F,, Computer and systems sciences ;, no. 165.
Published in cooperatiton with NATO Scientific Affairs Division.;Softcover reprint of the hardcover 1st edition 1999.
Game 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.
Computer logic.
QA76
.
9
.
L63
E358
1999
edited by Ulrich Berger, Helmut Schwichtenberg.
Helmut Schwichtenberg
North Atlantic Treaty Organization. Scientific Affairs Division.
Ulrich Berger
مطالعه متن کتاب [Book]
Y
