All Products

Showing 61 to 80 of 226 Products

Handbook of Logic and Language

Product Type: Book

Edition: 1

First Published: 1996

eBook: 978-0-08-053308-7

Online: 978-0-444-81714-3

Handbook of Analysis and Its Foundations

Product Type: Book

Edition: 1

First Published: 1996

eBook: 978-0-08-053299-8

Online: 978-0-12-622760-4

Principles of Logic and Logic Programming

Product Type: Book

Edition: 1

Volume: 13

First Published: 1996

eBook: 978-0-08-053964-5

Online: 978-0-444-81644-3

Logical Frameworks for Truth and Abstraction

Product Type: Book

Edition: 1

Volume: 135

First Published: 1996

eBook: 978-0-08-053558-6

Hardcover: 978-0-444-82306-9

Online: 978-0-444-82306-9

Problem Solving: Methods, Programming and Future Concepts

Product Type: Book

Edition: 1

Volume: 12

First Published: 1995

eBook: 978-0-08-054483-0

Online: 978-0-444-82226-0

Logic, Methodology and Philosophy of Science IX

Product Type: Book

Edition: 1

Volume: 134

First Published: 1995

eBook: 978-0-08-054495-3

Online: 978-0-444-89341-3

Selected Papers on Automath

Product Type: Book

Edition: 1

Volume: 133

First Published: 1994

eBook: 978-0-08-088718-0

Online: 978-0-444-89822-7

The Quantum Brain

Product Type: Book

Edition: 1

First Published: 1994

eBook: 978-0-08-057159-1

Current Issues in Mathematical Linguistics

Product Type: Book

Edition: 1

Volume: 56

First Published: 1994

eBook: 978-1-4832-9472-8

Online: 978-0-444-81693-1

Hausdorff Gaps and Limits

Product Type: Book

Edition: 1

Volume: 132

First Published: 1994

eBook: 978-0-08-088708-1

Online: 978-0-444-89490-8

Computability, Complexity, and Languages

Product Type: Book

Edition: 2

First Published: 1994

eBook: 978-0-08-050246-5

Hardcover: 978-0-12-206382-4

Online: 978-0-12-206382-4

Paperback: 978-1-4933-0034-1

Constraints, Language and Computation

Product Type: Book

Edition: 1

First Published: 1994

eBook: 978-0-08-050296-0

Online: 978-0-08-050296-0

Readings in Fuzzy Sets for Intelligent Systems

Product Type: Book

Edition: 1

First Published: 1993

eBook: 978-1-4832-1450-4

Online: 978-1-4832-1450-4

Higher Order Logic Theorem Proving and its Applications

Product Type: Book

Edition: 1

Volume: 20

First Published: 1993

eBook: 978-1-4832-9840-5

Online: 978-0-444-89880-7

Dimension and Extensions

Product Type: Book

Edition: 1

Volume: 48

First Published: 1993

eBook: 978-0-08-088761-6

Online: 978-0-444-89740-4

Morphogenesis

Product Type: Book

Edition: 1

Volume: 3

First Published: 1992

eBook: 978-0-08-093405-1

Hardcover: 978-0-444-88486-2

Recent Progress in General Topology

Product Type: Book

Edition: 1

First Published: 1992

eBook: 978-0-08-093443-3

Hardcover: 978-0-444-89674-2

A Comparative Study of Parallel Programming Languages: The Salishan Problems

Product Type: Book

Edition: 1

First Published: 1992

eBook: 978-1-4832-9420-9

Online: 978-0-444-88135-9

Recursive Functionals

Product Type: Book

Edition: 1

Volume: 131

First Published: 1992

eBook: 978-0-08-088717-3

Online: 978-0-444-89447-2

Matrix Logic and Mind

Product Type: Book

Edition: 1

First Published: 1992

eBook: 978-0-08-093413-6

Hardcover: 978-0-444-88798-6

Paperback: 978-1-4933-0274-1