cover
Automated Reasoning Series, Automated Development of Fundamental Mathematical…
Quaife, Art

Edition
-
ISBN/ISSN
0-7923-2021-2
Collation
x, 269 p. : 25 cm
Series Title
Automated reasoning series : v. 2
Call Number
511.3 Qua a

Edition
-
ISBN/ISSN
0-7923-2021-2
Collation
x, 269 p. : 25 cm
Series Title
Automated reasoning series : v. 2
Call Number
511.3 Qua a

Search Result

Found 1 from your keywords: Subject : "Automatic theorem proving"
Query took 0.00146 second(s) to complete
Suggestion
image
KOMUNIKASI BISNIS
Sri Astuti Pratminingsih
image
KORELASI DISTRIBUSI FRAGMENTASI PELEDAKAN BATUAN SAND STONE TERHADAP PRODUKTIVITAS ALAT GALI MUAT PC 2000 DI PIT C1 BLOK 8 SITE BINUNGAN MINE OPERATION 2 PT. BERAU COAL KABUPATEN BERAU PROVINSI KALIMANTAN TIMUR
Novriyandi, Wahyu Iqbal
image
Perencanaan pembuatan jalan angkut alternatif untuk meningkatkan produktivitas batubara dan menghemat biaya sewa alat angkut batubara DIPIT III Timur Banko Barat PT Bukit Asam Tanjung Enim
Bima Prasetya Aditama
image
IMPLEMENTASI METODE DECISION TREE DAN FUZZY DECISION TREE DALAM PENGKLASIFIKASIAN HAMA DAN PENYAKIT TANAMAN JAGUNG
Jimmy, Jimmy
image
PERAN KELUARGA DALAM PELAKSANAAN STRATEGI COPING PADA REMAJA YANG BROKEN HOME DI KOTA PALEMBANG
Sari, Penita