Theorem Proving in Higher Order Logics

Hurd, Joe. - Melham, Tom. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Journal on Data Semantics IV

Spaccapietra, Stefano. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Intelligent Techniques for Web Personalization

Anand, Sarabjot Singh. - Mobasher, Bamshad. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

KI 2005: Advances in Artificial Intelligence

Furbach, Ulrich. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Journal on Data Semantics III

SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : tidak ada salinan tersedia

Information Processing in Medical Imaging

Christensen, Gary E. - Sonka, Milan. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Web Engineering

Gaedke, Martin. - Lowe, David. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Theory and Applications of Satisfiability Testing

Bacchus, Fahiem. - SpringerLink (Online service) - Walsh, Toby.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Global Computing

Priami, Corrado. - Quaglia, Paola. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Information Context: Nature, Impact, and Role

Crestani, Fabio. - Ruthven, Ian. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 370 dari pencarian Anda melalui kata kunci: subject="ARTIFICIAL INTELLIGEN...
Permintaan membutuhkan 0.20137 detik untuk selesai
XML ResultJSON Result

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog