Cover Image

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: SpringerLink (Online service), International Conference on Automated Deduction
Other Authors: Lusk, Ewing, Overbeek, Ross A. (Ross Alan)
Format: Conference Proceeding eBook
Language:English
Published: Berlin [etc.] : Springer, cop. 1988.
Series:Lecture notes in computer science ; 310.
Subjects:
Automatic theorem proving.
Logic, Symbolic and mathematical.
Deductie.
Redeneren.
Computersystemen.
Electronic books.
Congressen (vorm)
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (x, 775 pages) : illustrations
ISBN:038719343X (New York)
9780387193434 (New York)
354019343X
9783540193432