Ditapis dengan
Ditemukan 51 dari pencarian Anda melalui kata kunci: subject="Proceedings"
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
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
Logic Programming '86
This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of…
- Edisi
- -
- ISBN/ISSN
- 9783540180241
- Deskripsi Fisik
- 179
- Judul Seri
- -
- No. Panggil
- 27628
Logic and Argumentation
Paperback. This volume finds its origin in a colloquium on Logic and Argumentation, held in June 1994 in Amsterdam and sponsored by the Royal Netherlands Academy of Arts and Sciences. The papers included have been selected for the role they can play in illuminating current thinking about the various kinds of relations between logic and argumentation…
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 257
- Judul Seri
- -
- No. Panggil
- 27649
Logic Programming
These two volumes collect papers presented at the first joint meeting of the two principal logic programming conferences, held in August of 1988. The more than fifty contributions cover all aspects of the field, including applications (particularly those that exploit the unique character of logic programming), the role of logic programming in artifi…
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 1690
- Judul Seri
- -
- No. Panggil
- 27711
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, Methodology, and Philosophy
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 440
- Judul Seri
- -
- No. Panggil
- 27743
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 440
- Judul Seri
- -
- No. Panggil
- 27743
Logic, Methodology and Philosophy of Science
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 882
- Judul Seri
- -
- No. Panggil
- 27745
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 882
- Judul Seri
- -
- No. Panggil
- 27745
Logic Programming
November 13-17, 1994, Ithaca, New York The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurre…
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 690
- Judul Seri
- -
- No. Panggil
- 27759
Logic, Methodology, and Philosophy of Science VI
48
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 906
- Judul Seri
- -
- No. Panggil
- 27742
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah