Universitas Islam Negeri Maulana Malik Ibrahim Malang

Ditemukan 23 dari pencarian Anda melalui kata kunci: subject="Mathematical logic"

Sort by

1 2 Berikutnya Hal. Akhir

Advances in Proof-Theoretic Semantics

Komentar Penanda Bagikan

Thomas Piecha Peter Schroeder-Heister

Edisi: 1st ed. 2016
ISBN/ISSN: 978-3-319-22686-6
Deskripsi Fisik: -
Judul Seri: Trends in Logic
No. Panggil: -

Edisi: 1st ed. 2016
ISBN/ISSN: 978-3-319-22686-6
Deskripsi Fisik: -
Judul Seri: Trends in Logic
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Fading Foundations

Komentar Penanda Bagikan

David Atkinson Jeanne Peijnenburg

Edisi: 1st ed. 2017
ISBN/ISSN: 978-3-319-58295-5
Deskripsi Fisik: -
Judul Seri: Synthese Library
No. Panggil: -

Edisi: 1st ed. 2017
ISBN/ISSN: 978-3-319-58295-5
Deskripsi Fisik: -
Judul Seri: Synthese Library
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Foundations of Software Science and Computation Structures

Komentar Penanda Bagikan

Jean Goubault-Larrecq Barbara K

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-45231-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-45231-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Paul Lorenzen -- Mathematician and Logician

Komentar Penanda Bagikan

Gereon Wolters Gerhard Heinzmann

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-65824-3
Deskripsi Fisik: -
Judul Seri: Logic, Epistemology, and the Unity of Science
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-65824-3
Deskripsi Fisik: -
Judul Seri: Logic, Epistemology, and the Unity of Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

Hana Chockler Georg Weissenbacher

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-96145-3
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-96145-3
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

Hana Chockler Georg Weissenbacher

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-96142-2
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-96142-2
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

The Everyday Life of an Algorithm

Komentar Penanda Bagikan

Daniel Neyland

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-00578-8
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-00578-8
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Tools and Algorithms for the Construction and Analysis of Systems

Komentar Penanda Bagikan

Lijun Zhang

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17465-1
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17465-1
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Tools and Algorithms for the Construction and Analysis of Systems

Komentar Penanda Bagikan

Lijun Zhang

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17462-0
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17462-0
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Tools and Algorithms for the Construction and Analysis of Systems

Komentar Penanda Bagikan

Dirk Beyer Marieke Huisman Fabrice Kordon Bernhard Steffen

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17502-3
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17502-3
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Foundations of Software Science and Computation Structures

Komentar Penanda Bagikan

Miko?aj Boja?czyk Alex Simpson

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17127-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17127-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

Isil Dillig Serdar Tasiran

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-25543-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-25543-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

The Amazing Journey of Reason

Komentar Penanda Bagikan

Mario Alemi

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-25962-4
Deskripsi Fisik: -
Judul Seri: SpringerBriefs in Computer Science
No. Panggil: -

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-25962-4
Deskripsi Fisik: -
Judul Seri: SpringerBriefs in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Graph Structures for Knowledge Representation and Reasoning

Komentar Penanda Bagikan

Michael Cochez Madalina Croitoru Pierre Marquis Sebastian Rudolph

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-72308-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-72308-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Foundations of Software Science and Computation Structures

Komentar Penanda Bagikan

Stefan Kiefer Christine Tasson

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-71995-1
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-71995-1
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Automated Deduction

Komentar Penanda Bagikan

Geoff Sutcliffe

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-79876-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-79876-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

Alexandra Silva K. Rustan M. Leino

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-81685-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-81685-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

Alexandra Silva K. Rustan M. Leino

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-81688-9
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-81688-9
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Teori bahasa, otomata, dan komputasi serta terapannya

Komentar Penanda Bagikan

Hariyanto, Bambang

Edisi: -
ISBN/ISSN: -
Deskripsi Fisik: xvi, 424 p. ; 24 cm.
Judul Seri: -
No. Panggil: 005.131 HAR t

Edisi: -
ISBN/ISSN: -
Deskripsi Fisik: xvi, 424 p. ; 24 cm.
Judul Seri: -
No. Panggil: 005.131 HAR t

Ketersediaan6

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Introduction to mathematical logic

Komentar Penanda Bagikan

Mendelson, Elliott

Edisi: 5th ed.
ISBN/ISSN: 9781584888765
Deskripsi Fisik: xxiv, 368 p. ; 24 cm
Judul Seri: Discrete mathematics and its applications
No. Panggil: 511.3 MEN i

Edisi: 5th ed.
ISBN/ISSN: 9781584888765
Deskripsi Fisik: xxiv, 368 p. ; 24 cm
Judul Seri: Discrete mathematics and its applications
No. Panggil: 511.3 MEN i

Ketersediaan2

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

1 2 Berikutnya Hal. Akhir

Ditapis dengan