Koleksi

Pencarian Spesifik
1 2 3 4 5 Berikutnya Hal. Akhir

Field Arithmetic

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

Laws of Nature

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

Fuzzy Modeling with Spatial Information for Geographic Problems

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

Propositional and Predicate Calculus: A Model of Argument

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

Valued Fields

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

Trends in Continuum Mechanics of Porous Media

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

Essays in Constructive Mathematics

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

Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems : 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part II

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

Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

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

Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

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

Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

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

A Modern Perspective on Type Theory : From its Origins until Today

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

Introduction to Modern Number Theory : Fundamental Problems, Ideas and Theories

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

Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

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

Visualization, Explanation and Reasoning Styles in Mathematics

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

Processes, Terms and Cycles Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

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

Developments in Language Theory : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings

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

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I

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

Membrane Computing : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book
1 2 3 4 5 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 613 dari pencarian Anda melalui kata kunci: Subject : "Mathematical Logic and Foundations."
Permintaan membutuhkan 0.00376 detik untuk selesai

Informasi

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