Herzlich Willkommen!

Zu "automated deduction" wurden 103 Produkte gefunden

Suchergebnis | hauptverlag

Filter
Logic and Algebra of Specification

160,50 CHF*
Set Theory for Computing

160,50 CHF*
Set Theory for Computing

160,50 CHF*
Collegium Logicum

53,50 CHF*
Logic and Algebra of Specification

160,50 CHF*
Computer Aided Verification

107,00 CHF*
Automated Deduction - CADE-17

53,50 CHF*
Computer Aided Verification

107,00 CHF*
Computational Logic — CL 2000

53,50 CHF*
Automated Deduction - CADE-15

53,50 CHF*
Progress in Artificial Intelligence

53,50 CHF*
Automated Deduction - CADE-19

53,50 CHF*
Automated Deduction - CADE-18

53,50 CHF*
Rewriting Techniques and Applications

53,50 CHF*
Automated Deduction in Geometry

53,50 CHF*
Automated Deduction - CADE-14

53,50 CHF*
Fundamentals of Artificial Intelligence

53,50 CHF*