← Back to Browse
Automated Deduction - CADE-19

Automated Deduction - CADE-19

by Franz Baader

First published: September 10, 2003

Subjects

Congresses Symbolic and mathematical Logic Automatic theorem proving
Read on Open Library More by Franz Baader

Related Books

Strengthening nacional wheat and rice research systems

Strengthening nacional wheat and rice research systems

19871 ed.
Groupes finis et algèbres de Hecke.

Groupes finis et algèbres de Hecke.

19881 ed.
Maturation phenomenon in cerebral ischemia II

Maturation phenomenon in cerebral ischemia II

19971 ed.
Risalah Sidang Badan Penyelidik Usaha-Usaha Persiapan Kemerdekaan Indonesia (BPUPKI), Panitia Persiapan Kemerdekaan Indonesia (PPKI), 28 Mei 1945-22 Agustus 1945

Risalah Sidang Badan Penyelidik Usaha-Usaha Persiapan Kemerdekaan Indonesia (BPUPKI), Panitia Persiapan Kemerdekaan Indonesia (PPKI), 28 Mei 1945-22 Agustus 1945

Indonesia. Badan Penyelidik Usaha-Usaha Persiapan Kemerdekaan Indonesia.

19952 ed.
Nigerian and African education

Nigerian and African education

19971 ed.
An introduction to international law

An introduction to international law

J. G. Starke

19479 ed.
Mountain environments and subalpine tree growth

Mountain environments and subalpine tree growth

19801 ed.
Statistics in practice: measuring & managing

Statistics in practice: measuring & managing

20031 ed.