ISBN: 9783540469636
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 scienc… Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540469636
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 scienc… Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540469636
Computer Science; Theory of Computation; Mathematical Logic and Foundations; Philosophy of Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Prog… Mehr…
| Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540469636
Computer Science; Theory of Computation; Mathematical Logic and Foundations; Philosophy of Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Prog… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540469636
Computer Science; Theory of Computation; Mathematical Logic and Foundations; Philosophy of Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Prog… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540469636
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 scienc… Mehr…
ISBN: 9783540469636
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 scienc… Mehr…
ISBN: 9783540469636
Computer Science; Theory of Computation; Mathematical Logic and Foundations; Philosophy of Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Prog… Mehr…
ISBN: 9783540469636
Computer Science; Theory of Computation; Mathematical Logic and Foundations; Philosophy of Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Prog… Mehr…
ISBN: 9783540469636
Computer Science; Theory of Computation; Mathematical Logic and Foundations; Philosophy of Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Prog… Mehr…
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - COLOG-88
EAN (ISBN-13): 9783540469636
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-02-04T22:44:23+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-11-07T14:50:40+01:00 (Berlin)
ISBN/EAN: 9783540469636
ISBN - alternative Schreibweisen:
978-3-540-46963-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: per martin löf
Daten vom Verlag:
Autor/in: Per Martin-Löf; Grigori Mints
Titel: Lecture Notes in Computer Science; COLOG-88 - International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Verlag: Springer; Springer Berlin
339 Seiten
Erscheinungsjahr: 2005-07-02
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VI, 339 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Beweissysteme; UdSSR; logic; programming; proving; theorem proving; C; Theory of Computation; Mathematical Logic and Foundations; Philosophy of Science; Formal Languages and Automata Theory; Artificial Intelligence; Programming Techniques; Computer Science; Mathematik: Logik; Mathematische Grundlagen; Wissenschaftsphilosophie und -theorie; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; BC
Algebraic specified processes and enumerable models.- On conditions of full coherence in biclosed categories: A new application of proof theory.- The use of justification systems for integrated semantics.- An equational deductive system for the differential and integral calculus.- Inductively defined types.- Algorithms for probabilistic inference.- Geometry of interaction 2: Deadlock-free algorithms.- On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions.- ?-Reductions and ?-developments of ?-terms with the least number of steps.- Group-theoretic approach to intractable problems.- On some applications of Heyting-valued analysis II.- Mathematics of infinity.- Gentzen-type systems and resolution rules part I propositional logic.- On the problem of reducing search in logic program execution.- Correctness of short proofs in theory with notions of feasibility.- A formulation of the simple theory of types (for Isabelle).- On connections between classical and constructive semantics.- Flow-diagrams with sets.- The resolution program, able to decide some solvable classes.- A structural completeness theorem for a class of conditional rewrite rule systems.- A proof-search method for the first order logic.This proceedings volume contains invited papers and selected contributions on computer logic, providing access to intensive work in this field both in the USSR and in Western countries.
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540523352 COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science, 417, Band 417) (Martin-L??f, Per, Mints, Grigori)
- 9783540523352 COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science, 417, Band 417) (Martin-L??f, Per, Mints, Grigori)
- 9780387523354 Handbook of Consultation-Liaison Psychiatry (Leigh, Hoyle / Streltzer, Jon)
- 9780387517636 Particle Analysis in Oceanography (NATO Asi Series: Series G: Ecological Sciences) (NATO Advanced Study Institute on Individual Cell and Particle Analysis in Oceanography (1990 : Acquafredda di Maratea, Italy), North Atlantic Treaty Organization. Scientific Affairs Division)
- 9780387692531 Handbook of Consultation-Liaison Psychiatry Hoyle Leigh Editor (Keigh, Hoyle|Streltzer, Jon)
- Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science) (2008-06-13) (unknown)
< zum Archiv...