Browse books

Showing books 941-950 from 1298

E-Books - Mathematical logic

loading...
Michel Parigot (EDT), Andrei Voronkov (EDT)

Logic for Programming and Automated Reasoning

7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
J.B. Paris (EDT), A.J. Wilkie (EDT), G.M. Wilmers (EDT)

Logic Colloquium '84

Price for Eshop: 576 Kč (€ 23.0)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Jeffrey Paris, Alena Vencovska

Pure Inductive Logic

Price for Eshop: 3773 Kč (€ 150.9)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Jeffrey Paris, Alena Vencovska

Pure Inductive Logic

Price for Eshop: 3773 Kč (€ 150.9)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Alan P. Parkes

Introduction to Languages, Machines and Logic

Computable Languages, Abstract Machines and Formal Logic

Price for Eshop: 1689 Kč (€ 67.6)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Charles Parsons

On Constructive Interpretation of Predictive Mathematics (1990)

Price for Eshop: 960 Kč (€ 38.4)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Charles Parsons

Philosophy of Mathematics in the Twentieth Century

Price for Eshop: 3737 Kč (€ 149.5)

Format: E-Book, Publisher: Harvard University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Charles Parsons

On Constructive Interpretation of Predictive Mathematics (1990)

Price for Eshop: 960 Kč (€ 38.4)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

Add to Cart Information
loading...
M. S. Paterson (EDT)

Boolean Function Complexity

Price for Eshop: 3238 Kč (€ 129.5)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa

DNA Computing

New Computing Paradigms

Price for Eshop: 2098 Kč (€ 83.9)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
Previous ... 90 91 92 93 94 95 96 97 98 99 100 ... Next