Ditapis dengan
Mathematical logic for computer science
No Inv.: 3024/P/Perp/98/1c
- Edisi
- -
- ISBN/ISSN
- 013564139X
- Deskripsi Fisik
- xi, 305 hlm.
- Judul Seri
- -
- No. Panggil
- 511.3 BEN m
Reactive kripke semantics
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the propert…
- Edisi
- -
- ISBN/ISSN
- 9783642413896
- Deskripsi Fisik
- xii, 442 hlm. ; il. warna
- Judul Seri
- Cognitive Technologies
- No. Panggil
- E1319
A course on mathematical logic
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares stude…
- Edisi
- 2
- ISBN/ISSN
- 9781461457466
- Deskripsi Fisik
- xii, 198hlm.
- Judul Seri
- Universitext
- No. Panggil
- E514
Pengantar logika : asas-asas penalaran sistematis
No Inv.: 5049-5053/P/99/5c~118181-118183/P/Perp/09/3c
- Edisi
- Cet. ke-5
- ISBN/ISSN
- 9794976768
- Deskripsi Fisik
- 96 hlm.
- Judul Seri
- -
- No. Panggil
- 160 RAP p
Logic and discrete mathematics : a computer science perspective
No Inv.: 66577/P/00/1c
- Edisi
- -
- ISBN/ISSN
- 9814024406
- Deskripsi Fisik
- xviii, 750 hlm.
- Judul Seri
- -
- No. Panggil
- 511.302 85 GRA l
Linked data and knowledge graph; Seventh Chinese Semantic Web Symposium and t…
This book constitutes the refereed proceedings of the Seventh Chinese Semantic Web Symposium and the Second Chinese Web Science Conference, CSWS 2013, held in Shanghai, China in August 2013. The 14 revised full papers presented together with 6 short papers and 3 poster papers were carefully reviewed and selected from 48 submissions. The papers cover a wide range of topics, including semantic se…
- Edisi
- -
- ISBN/ISSN
- 9783642540257
- Deskripsi Fisik
- x, 247 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1512
A logical introduction to proof
The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of …
- Edisi
- 1
- ISBN/ISSN
- 9781461436317
- Deskripsi Fisik
- xvi, 356 hlm.
- Judul Seri
- -
- No. Panggil
- E454
ICT in education, research, and industrial applications
This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals wi…
- Edisi
- -
- ISBN/ISSN
- 9783642357374
- Deskripsi Fisik
- xiv, 245 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1166
Natural language processing and Chinese computing ; Second CCF Conference, NL…
This book constitutes the refereed proceedings of the Second CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2013, held in Chongqing, China, during November 2013. The 31 revised full papers presented together with three keynote talks and 13 short papers were carefully reviewed and selected from 203 submissions. The papers are organized in topical sections on fundament…
- Edisi
- -
- ISBN/ISSN
- 9783642416446
- Deskripsi Fisik
- xxiv, 450 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1490
Efficient computation of argumentation semantics
Efficient Computation of Argumentation Semantics addresses argumentation semantics and systems, introducing readers to cutting-edge decomposition methods that drive increasingly efficient logic computation in AI and intelligent systems. Such complex and distributed systems are increasingly used in the automation and transportation systems field, and particularly autonomous systems, as well as m…
- Edisi
- -
- ISBN/ISSN
- 9780124104068
- Deskripsi Fisik
- x, 137 hlm.
- Judul Seri
- -
- No. Panggil
- E1487
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah