Universitas Islam Negeri Maulana Malik Ibrahim Malang

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

Sort by

Hal. Awal Sebelumnya 1 2

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

Introduction to mathematical logic

Komentar Penanda Bagikan

Mendelson, Elliott

Edisi: 6th ed.
ISBN/ISSN: 9781482237726
Deskripsi Fisik: xxiv, 489 p. ; 23.5 cm
Judul Seri: Textbooks in Mathematics
No. Panggil: 511.3 MEN i

Edisi: 6th ed.
ISBN/ISSN: 9781482237726
Deskripsi Fisik: xxiv, 489 p. ; 23.5 cm
Judul Seri: Textbooks in Mathematics
No. Panggil: 511.3 MEN i

Ketersediaan2

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Understanding mathematical proof

Komentar Penanda Bagikan

Taylor, John Garnier, Rowan

Edisi: -
ISBN/ISSN: 9781466514904
Deskripsi Fisik: xix, 394 p. ; 23 cm
Judul Seri: -
No. Panggil: 511.36 TAY u

Edisi: -
ISBN/ISSN: 9781466514904
Deskripsi Fisik: xix, 394 p. ; 23 cm
Judul Seri: -
No. Panggil: 511.36 TAY u

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Himpunan dan logika kabur serta apllikasinya

Komentar Penanda Bagikan

Susilo, Frans

Edisi: -
ISBN/ISSN: -
Deskripsi Fisik: 238 hlm. : 23 cm.
Judul Seri: -
No. Panggil: 511.3 SUS h

Edisi: -
ISBN/ISSN: -
Deskripsi Fisik: 238 hlm. : 23 cm.
Judul Seri: -
No. Panggil: 511.3 SUS h

Ketersediaan4

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Hal. Awal Sebelumnya 1 2

Ditapis dengan