Articoli correlati a COLOG-88: International Conference on Computer Logic,...
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings: 417 - Brossura
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti:
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540523359
- ISBN 13 9783540523352
- RilegaturaCopertina flessibile
- Numero di pagine348
Compra nuovo
Scopri di più su questo articolo
EUR 52,88
Spese di spedizione:
GRATIS
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science (417)) by Martin-L??f, Per, Mints, Grigori [Paperback ]
Da:
Valutazione libreria
Descrizione libro Soft Cover. Condizione: new. Codice articolo 9783540523352
Compra nuovo
EUR 52,88
Convertire valuta
Foto dell'editore
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science, 417)
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020169215
Compra nuovo
EUR 56,19
Convertire valuta
Foto dell'editore
COLOG-88 : International Conference on Computer Logic; Tallinn; USSR; December 12-16; 1988; Proceedings
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783540523352_lsuk
Compra nuovo
EUR 58,80
Convertire valuta
Immagini fornite dal venditore
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Editore:
Springer Berlin Heidelberg
(1990)
ISBN 10: 3540523359
ISBN 13: 9783540523352
Nuovo
Taschenbuch
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783540523352
Compra nuovo
EUR 59,51
Convertire valuta
Immagini fornite dal venditore
COLOG-88
Editore:
Springer Berlin Heidelberg
(1990)
ISBN 10: 3540523359
ISBN 13: 9783540523352
Nuovo
Brossura
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 t. Codice articolo 4892351
Compra nuovo
EUR 48,37
Convertire valuta
Immagini fornite dal venditore
COLOG-88
Editore:
Springer Berlin Heidelberg Feb 1990
(1990)
ISBN 10: 3540523359
ISBN 13: 9783540523352
Nuovo
Taschenbuch
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 348 pp. Englisch. Codice articolo 9783540523352
Compra nuovo
EUR 74,89
Convertire valuta