Browse books

Showing books 161-170 from 1152

E-Books - Mathematical logic

loading...
Tim Button, Sean Walsh

Philosophy and Model Theory

Price for Eshop: 1020 Kč (€ 40.8)

Format: E-Book, Publisher: OUP Oxford

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Kim Byunghan Kim (EDT), Brendle Jorg Brendle (EDT), Lee Gyesik Lee (EDT), Liu Fenrong Liu (EDT), Ramanujam R Ramanujam (EDT), Srivastava Shashi M Srivastava (EDT), Tsuboi Akito Tsuboi (EDT), Yu Liang Yu (EDT)

Proceedings Of The 14th And 15th Asian Logic Conferences

Price for Eshop: 2191 Kč (€ 87.6)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Kim Byunghan Kim (EDT), Arai Toshiyasu Arai (EDT), Yang Yue Yang (EDT), Wu Guohua Wu (EDT), Feng Qi Feng (EDT)

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

Price for Eshop: 950 Kč (€ 38.0)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

Automated Model Building

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Andres Eduardo Caicedo (EDT)

Foundations of Mathematics

Price for Eshop: 4262 Kč (€ 170.5)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Paul Callaghan (EDT), Zhaohui Luo (EDT), James McKinna (EDT), Robert Pollack (EDT)

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

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...
Cristian S. Calude

Information and Randomness

An Algorithmic Perspective

Price for Eshop: 1408 Kč (€ 56.3)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Cristian S. Calude (EDT), Elena Calude (EDT), Michael J. Dinneen (EDT)

Developments in Language Theory

8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 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...
C.S. Calude (EDT), M.J. Dinneen (EDT), S. Sburlan (EDT)

Combinatorics, Computability and Logic

Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS'01)

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Christian S. Calude (EDT), Gheorghe Paun (EDT), Grzegorz Rozenberg (EDT), Arto Salomaa (EDT)

Multiset Processing

Mathematical, Computer Science, and Molecular Computing Points of View

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
Previous ... 12 13 14 15 16 17 18 19 20 21 22 ... Next