HOME > Detail View

Detail View

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

COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings (Loan 2 times)

Material type
단행본
Personal Author
Martin-Lof, Per , 1942- Mints, G. E.
Title Statement
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Lof, G. Mints, eds.
Publication, Distribution, etc
Berlin ;   New York :   Springer-Verlag ,   [c1990].  
Physical Medium
vi, 338 p. ; 25 cm.
Series Statement
Lecture notes in computer science ; 417
ISBN
3540523359 (Berlin) 0387523359 (New York) 9783540523352 (Berlin)
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Computer science -- Mathematics -- Congresses. Logic, Symbolic and mathematical -- Congresses.
000 01260camuu2200325 a 4500
001 000045515995
005 20090416125944
008 900116s1990 gw b 100 0 eng
010 ▼a 90009465
020 ▼a 3540523359 (Berlin)
020 ▼a 0387523359 (New York)
020 ▼a 9783540523352 (Berlin)
035 ▼a (KERIS)REF000005120826
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76.9.M35 ▼b I57 1988
082 0 4 ▼a 004/.01/5113 ▼2 22
090 ▼a 004.015113 ▼b I61c
111 2 ▼a International Conference on Computer Logic ▼d (1988 : ▼c Tallinn, Estonia)
245 1 0 ▼a COLOG-88 : ▼b International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / ▼c P. Martin-Lof, G. Mints, eds.
260 ▼a Berlin ; ▼a New York : ▼b Springer-Verlag , ▼c [c1990].
300 ▼a vi, 338 p. ; ▼c 25 cm.
490 1 ▼a Lecture notes in computer science ; ▼v 417
504 ▼a Includes bibliographical references.
650 0 ▼a Computer science ▼x Mathematics ▼v Congresses.
650 0 ▼a Logic, Symbolic and mathematical ▼v Congresses.
700 1 ▼a Martin-Lof, Per , ▼d 1942-
700 1 ▼a Mints, G. E.
830 0 ▼a Lecture notes in computer science ; ▼v 417.
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 004.015113 I61c Accession No. 111534984 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

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-Lof'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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

김종원 (2020)