Ditapis dengan
Ditemukan 488 dari pencarian Anda melalui kata kunci: subject="1"
Reformasi politik suatu keharusan
22
- Edisi
- -
- ISBN/ISSN
- 9789795615057
- Deskripsi Fisik
- 90
- Judul Seri
- -
- No. Panggil
- 27356
Deontic Logic in Computer Science
This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-…
- Edisi
- -
- ISBN/ISSN
- 3642141838
- Deskripsi Fisik
- 323
- Judul Seri
- -
- No. Panggil
- 27663
Deontic Logic in Computer Science
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis o…
- Edisi
- -
- ISBN/ISSN
- 3642315704
- Deskripsi Fisik
- 215
- Judul Seri
- -
- No. Panggil
- 27680
Logic Based Program Synthesis and Transformation
This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, compo…
- Edisi
- -
- ISBN/ISSN
- 3540221743
- Deskripsi Fisik
- 238
- Judul Seri
- -
- No. Panggil
- 27665
Logic, Language, Information, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully revi…
- Edisi
- -
- ISBN/ISSN
- 3642399924
- Deskripsi Fisik
- 283
- Judul Seri
- -
- No. Panggil
- 27671
Logic, Language, Information, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully re…
- Edisi
- -
- ISBN/ISSN
- 3662441454
- Deskripsi Fisik
- 237
- Judul Seri
- -
- No. Panggil
- 27674
Logic and Argumentation
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLA…
- Edisi
- -
- ISBN/ISSN
- 303089391X
- Deskripsi Fisik
- 552
- Judul Seri
- -
- No. Panggil
- 27672
Power and Principle
Details an account of his experiences between 1977 and 1981, and an analysis of the achievements and consequences of United States foreign policy during those years
- Edisi
- -
- ISBN/ISSN
- 9780374518776
- Deskripsi Fisik
- 587
- Judul Seri
- -
- No. Panggil
- 27552
Logic Programming
OCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASOCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASTheory and Foundations. Metaprogramming. Constraints. Implementations, Architecture. Deductive Databases. Language Issues. Relation to Other Paradigms. Parallelism, Concurrency. Compilation Techniques. Applications.
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 848
- Judul Seri
- -
- No. Panggil
- 27682
Pragmatism as a Principle and Method of Right Thinking
This is a study edition of Charles Sanders Peirce's manuscripts for lectures on pragmatism given in spring 1903 at Harvard University. Excerpts from these writings have been published elsewhere but in abbreviated form. Turrisi has edited the manuscripts for publication and has written a series of notes that illuminate the historical, scientific, and…
- Edisi
- -
- ISBN/ISSN
- 9780791432655
- Deskripsi Fisik
- 305
- Judul Seri
- -
- No. Panggil
- 27564
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah