Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 16 17 Berikutnya Hal. Akhir

Theorem Proving in Higher Order Logics

Hurd, Joe. - Melham, Tom. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11541868

Typed Lambda Calculi and Applications

SpringerLink (Online service) - Urzyczyn, Pawel.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b135690

Theory and Applications of Satisfiability Testing

Bacchus, Fahiem. - SpringerLink (Online service) - Walsh, Toby.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b137280

Formal Modeling and Analysis of Timed Systems

Pettersson, Paul. - SpringerLink (Online service) - Yi, Wang.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11603009

Software Composition

Aßmann, Uwe. - Gschwind, Thomas. - Nierstrasz, Oscar. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11550679

Implementation and Application of Functional Languages

Grelck, Clemens. - Huch, Frank. - Michaelson, Greg. - SpringerLink (Online service) - Trinder, Phil.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b136772

Static Analysis

Hankin, Chris. - Siveroni, Igor. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11547662

Formal Concept Analysis

Ganter, Bernhard. - SpringerLink (Online service) - Stumme, Gerd. - Wille, Rudolf.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/978-3-540-31881-1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Godo, Lluis. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b138862

Inductive Logic Programming

Kramer, Stefan. - Pfahringer, Bernhard. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11536314
Hal. Awal Sebelumnya 16 17 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 170 dari pencarian Anda melalui kata kunci: subject="Logic."
Permintaan membutuhkan 0.12986 detik untuk selesai
XML ResultJSON Result

Informasi

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