COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

>> Google Books

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings / edited by Per Martin-Löf, Grigori Mints

版:

1st ed. 1990

資料種別:

電子ブック

形態:

VI, 339 p.

シリーズ名:

Lecture Notes in Computer Science ; 417

著者名:

ISBN:

9783540469636 [354046963X]
9783662171172 [3662171171]
9783540523352 [3540523359]

書誌ID:

EB00003914

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

主題:

Artificial Intelligence; Formal Languages and Automata Theory; Mathematical Logic and Foundations; Philosophy of Science; Programming Techniques; Theory of Computation

目次情報:

ブックレビュー

類似資料:

1 電子ブック Constraints in Computational Logics : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings Jouannaud, Jean-Pierre., SpringerLink (Online service)	7 電子ブック Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings Flum, Jörg., Rodriguez-Artalejo, Mario., SpringerLink (Online service)
2 電子ブック Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, … Voronkov, Andrei., SpringerLink (Online service)	8 電子ブック Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings Maluszynski, Jan., Wirsing, Martin., SpringerLink (Online service)
3 電子ブック Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service)	9 電子ブック Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings Pfenning, Frank., SpringerLink (Online service)
4 電子ブック Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September Bradfield, Julian., SpringerLink (Online service)	10 電子ブック Meta-Programming in Logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings Pettorossi, Alberto., SpringerLink (Online service)
5 電子ブック Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings Gottlob, Georg., Leitsch, Alexander., Mundici, Daniele., SpringerLink (Online service)	11 電子ブック Logic Programming and Nonmonotonic Reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings Gelfond, Michael., Leone, Nicole., Pfeifer, Gerald., SpringerLink (Online service)
6 電子ブック Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings Ong, Luke., SpringerLink (Online service)	12 電子ブック Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The … Bezem, Marc., Groote, Jan F., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12