Lambda the Ultimate

inactiveTopic Handbook of Automated Reasoning
started 11/10/2001; 11:26:17 AM - last post 11/10/2001; 11:26:17 AM
Ehud Lamm - Handbook of Automated Reasoning  blueArrow
11/10/2001; 11:26:17 AM (reads: 1488, responses: 0)
Handbook of Automated Reasoning
This Handbook presents overviews of the fundamental notions, techniques, ideas, and methods developed and used in automated reasoning and its applications, which are used in many areas of computer science, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence.

Some highlights from the TOC (links are to the paper abstracts):

Posted to theory by Ehud Lamm on 11/10/01; 11:26:51 AM