Automated Reasoning
Automated Reasoning
Natarajan Shankar
,
Ulrich Furbach
Details
OL Work ID
OL16930690W
Subjects
Logic design
Artificial intelligence
Computer science
Software engineering
Automatic theorem proving
Congresses
Computer logic
Find this book
Open Library