Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Modeling and Using Context : 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings

Judul Seri :
No. Panggil : 519
Ketersediaan : E Book

Adapting Proofs-as-Programs : The Curry--Howard Protocol

Judul Seri :
No. Panggil : 005.1015113
Ketersediaan : E Book

Reconfigurable Computing : Accelerating Computation with Field-Programmable Gate Arrays

Judul Seri :
No. Panggil : 621.3815
Ketersediaan : E Book

Philosophical Foundations of Quality of Life : The Selected Works of Alex C. Michalos

Judul Seri :
No. Panggil : 306
Ketersediaan : E Book

Studies in Legal Logic

Judul Seri :
No. Panggil : 340.1
Ketersediaan : E Book

Language, Meaning, Interpretation

Judul Seri :
No. Panggil : 410
Ketersediaan : E Book

Handbook of Philosophical Logic : Volume 13

Judul Seri :
No. Panggil : 100
Ketersediaan : E Book

The Dynamics of Thought

Judul Seri :
No. Panggil : 100
Ketersediaan : E Book

Anaphora and Type Logical Grammar

Judul Seri :
No. Panggil : 410
Ketersediaan : E Book

Logic, Thought and Action

Judul Seri :
No. Panggil : 300
Ketersediaan : E Book

Modern Perspectives in Type-Theoretical Semantics

Judul Seri :
No. Panggil : 401.43
Ketersediaan : E Book

Modality in Argumentation : A Semantic Investigation of the Role of Modalities in the Structure of Arguments with an Application to Italian Modal Expressions

Judul Seri :
No. Panggil : 401.43
Ketersediaan : E Book

Handbook of Philosophical Logic : Volume 12

Judul Seri :
No. Panggil : 160
Ketersediaan : E Book

Argumentation Methods for Artificial Intelligence in Law

Judul Seri :
No. Panggil : 340.1
Ketersediaan : E Book

Supervenience and Normativity

Judul Seri :
No. Panggil : 340.1
Ketersediaan : E Book

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Judul Seri :
No. Panggil : 005.1015113
Ketersediaan : E Book

Logica Universalis : Towards a General Theory of Logic

Judul Seri :
No. Panggil : 511.3
Ketersediaan : E Book

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book

Model Driven Architecture - Foundations and Applications : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings

Judul Seri :
No. Panggil : 003.3
Ketersediaan : E Book

Rules and Rule Markup Languages for the Semantic Web : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings

Judul Seri :
No. Panggil : 005.11
Ketersediaan : E Book
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 562 dari pencarian Anda melalui kata kunci: Subject : "Mathematical logic."
Saat ini anda berada pada halaman 6 dari total 29 halaman
Permintaan membutuhkan 0.0031 detik untuk selesai

Informasi

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