Automatic proofs for theorems on predicate calculus (Monographs in computer science and computer applications)

In association with Amazon.com
  

Apparel
Automotive
Baby
Beauty
Books
Classical Music
DVD
Electronics
Gourmet Food
Health & Personal Care
Jewelry
Kitchen & Housewares
Magazines
Music
Musical Instruments
Office Products
Outdoor Living
PC Hardware
Pet Supplies
Photo
Software
Sporting Goods
Tools & Hardware
Toys
VHS
Video Games
by: Sueli Mendes dos Santos

All Products : Automatic proofs for theorems on predicate calculus (Monographs in computer science and computer applications)







Binding: Unknown Binding
Label: Pontificia Universidade Catolica do Rio de Janeiro]
Manufacturer: Pontificia Universidade Catolica do Rio de Janeiro]
Publication Date: 1972
Publisher: Pontificia Universidade Catolica do Rio de Janeiro]
Studio: Pontificia Universidade Catolica do Rio de Janeiro]



Browse for similar items by category: Click to Display

 

script by MrRat
Updated by Labbs 24th July 2009