Narrow your search
Listing 1 - 10 of 75 << page
of 8
>>
Sort by

Periodical
From the logical point of view.
Author:
Year: 1992 Publisher: Praha : Dept. of Logic, Institute of Philosophy of CSAS,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Periodical
From the logical point of view.
Author:
Year: 1992 Publisher: Praha : Dept. of Logic, Institute of Philosophy of CSAS,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Periodical
From the logical point of view.
Author:
Year: 1992 Publisher: Praha : Dept. of Logic, Institute of Philosophy of CSAS,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Lectures on linear logic
Author:
ISBN: 0937073776 0937073784 9780937073773 Year: 1992 Volume: 29 Publisher: Stanford, CA : Centre for the Study of Language and Information (CSLI),


Book
Normalization, cut-elimination and the theory of proofs.
Author:
ISBN: 0937073822 9780937073827 Year: 1992 Volume: 28 Publisher: Menlo Park (Calif.) : CSLI,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logic in Computer Science, 7th Conference (LICS '92
Author:
Year: 1992 Publisher: [Place of publication not identified] IEEE Computer Society Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

The symposium, held in Santa Cruz, Calif., June 1992, heard some 40 papers, selected on the basis of originality, quality, and relevance to computer science, in particular, theoretical and practical issues that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. No index. Annotation copyrighted by Book News, Inc., Portland, OR.

Logic from computer science
Author:
ISBN: 9780387976679 0387976671 Year: 1992 Publisher: New York (N.Y.): Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Notes on philosophy, probability and mathematics
Authors: ---
ISBN: 8870882594 Year: 1992 Publisher: Napoli Bibliopolis

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
The temporal logic of reactive and concurrent systems
Authors: ---
Year: 1992 Publisher: New York Berlin London Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Matrix logic and mind : a probe into a unified theory of mind and matter
Author:
ISBN: 0444887989 Year: 1992 Publisher: Amsterdam North-Holland

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 75 << page
of 8
>>
Sort by