Ditapis dengan
Ditemukan 380 dari pencarian Anda melalui kata kunci: subject="2"
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
Logic, Argumentation and Interpretation
The volume is divided into five sections. In the first chapter entitled aTheory of argumentationo, contributors debate the idea of a rational modification of beliefs as the basis of rational consensus, the G nther-Alexy debate, Opocher's conception of justice which is taken from a descriptive level to an argumentative one, truth in the field of rhet…
- Edisi
- -
- ISBN/ISSN
- 9783515089142
- Deskripsi Fisik
- 206
- Judul Seri
- -
- No. Panggil
- 27635
Law and Logic - Making Legal Science a Genuine Science
This book focuses on the analysis of law from a logical point of view, that is, on a tradition that is distinctively based on the application of logic as an indispensable device to endorse the scientific claims of legal thought. According to this approach, the obstacles that have prevented the development of law as a science can now be overcome with…
- Edisi
- -
- ISBN/ISSN
- 9783515128957
- Deskripsi Fisik
- 149
- Judul Seri
- -
- No. Panggil
- 27592
Logic and Argumentation
This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and 7 short papers presented were carefully reviewed and selected from 31 submissions. The papers cover the focus of the CLAR series, including formal models of argumentation,…
- Edisi
- -
- ISBN/ISSN
- 3030446387
- Deskripsi Fisik
- 363
- Judul Seri
- -
- No. Panggil
- 27679
Meta-Programming in Logic
This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformat…
- Edisi
- -
- ISBN/ISSN
- 9783540562825
- Deskripsi Fisik
- 351
- Judul Seri
- -
- No. Panggil
- 27626
Logic Programming and Automated Reasoning
This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities.The topics of interest covered by papers inthe…
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 509
- Judul Seri
- -
- No. Panggil
- 27727
Logic, Artificial Intelligence, and Robotics
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 287
- Judul Seri
- -
- No. Panggil
- 27786
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 287
- Judul Seri
- -
- No. Panggil
- 27786
Differentiating Instruction and Assessment for English Language Learners
"Explains why and shows how to differentiate assessments, assignments, and instruction for English language learners according to English language proficiency level and other background factors"--
- Edisi
- -
- ISBN/ISSN
- 9781934000380
- Deskripsi Fisik
- 304
- Judul Seri
- -
- No. Panggil
- 28200
Aplikasi Komputer Farmasi
Buku ajar Aplikasi Komputer Farmasi merupakan hasil karya penelitian penyusun yang didanai Kemenristekdikti anggaran 2019. Penyusun Buku Ajar Aplikasi Komputer Farmasi adalah Halimah Tus Sadiah, M.Kom Muhamad Saad Nurul Ishlah, M.Comp Nisa Najwa Rokhmah S.Farm, Apt, M.Farm Zaldy Rusli, M.Farm Buku ajar ini disusun untuk digunakan oleh Mahasiswa dan …
- Edisi
- -
- ISBN/ISSN
- 6239169625
- Deskripsi Fisik
- 259
- Judul Seri
- -
- No. Panggil
- 28168
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah