×


 x 

Shopping cart

Mathematical foundations

Results 97 - 120 of 327

Mathematical foundations

Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
Format
Hardback
Publication date
1998
Publisher
Springer
Edition
1998th Edition
Condition
New
SKU
V9780792351290
ISBN
9780792351290
Hardback
Condition: New

€ 203.39
€ 70.11

Hardcover. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 29. Weight in Grams: 786. A Basis for Applications. Systems and Implementation Techiques. Series: Applied Logic Series. 448 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 241 x 160 x 29. Weight: 786.
Format
Hardback
Publication date
1998
Publisher
Springer
Edition
1998th Edition
Number of pages
448
Condition
New
SKU
V9780792351306
ISBN
9780792351306
Hardback
Condition: New

€ 203.39
€ 27.31

Paperback. Num Pages: 154 pages, 1 black & white illustrations, biography. BIC Classification: PBC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 280.
Format
Paperback
Publication date
1997
Publisher
Birkhäuser
Edition
1998th Edition
Condition
New
SKU
V9780817640286
ISBN
9780817640286
Paperback
Condition: New

€ 52.57

Paperback. This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics Series: History of Analytic Philosophy. Num Pages: 218 pages, biography. BIC Classification: HPC; HPCF5; HPL; PBB; PBC; PBX. Category: (G) General (US: Trade). Dimension: 216 x 140 x 12. Weight in Grams: 300.
Format
Paperback
Publication date
2013
Publisher
Palgrave Macmillan United Kingdom
Edition
1st ed. 2013
Number of pages
218
Condition
New
SKU
V9781349453733
ISBN
9781349453733
Paperback
Condition: New

€ 50.84

Hardback.
Format
Hardback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
305
Condition
New
SKU
V9781402000218
ISBN
9781402000218
Hardback
Condition: New

€ 101.69

Hardback.
Format
Hardback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
281
Condition
New
SKU
V9781402001116
ISBN
9781402001116
Hardback
Condition: New

€ 101.69

Paperback.
Format
Paperback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
281
Condition
New
SKU
V9781402001123
ISBN
9781402001123
Paperback
Condition: New

€ 101.69

Hardback.
Format
Hardback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
386
Condition
New
SKU
V9781402001932
ISBN
9781402001932
Hardback
Condition: New

€ 101.69

Paperback.
Format
Paperback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Edition
Softcover reprint of the original 1st ed. 1997
Number of pages
444
Condition
New
SKU
V9781402003684
ISBN
9781402003684
Paperback
Condition: New

€ 50.84

Paperback.
Format
Paperback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Edition
Softcover reprint of the original 1st ed. 2002
Number of pages
415
Condition
New
SKU
V9781402006081
ISBN
9781402006081
Paperback
Condition: New

€ 50.84

Hardback.
Format
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Number of pages
388
Condition
New
SKU
V9781402006241
ISBN
9781402006241
Hardback
Condition: New

€ 101.69

Hardback.
Format
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Number of pages
251
Condition
New
SKU
V9781402006890
ISBN
9781402006890
Hardback
Condition: New

€ 101.69

Hardback.
Format
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Number of pages
479
Condition
New
SKU
V9781402008344
ISBN
9781402008344
Hardback
Condition: New

€ 203.39

Hardback.
Format
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Number of pages
295
Condition
New
SKU
V9781402009174
ISBN
9781402009174
Hardback
Condition: New

€ 101.69

Hardback.
Format
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Number of pages
394
Condition
New
SKU
V9781402009181
ISBN
9781402009181
Hardback
Condition: New

€ 101.69

Hardback.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
197
Condition
New
SKU
V9781402018329
ISBN
9781402018329
Hardback
Condition: New

€ 157.17

Hardback.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
341
Condition
New
SKU
V9781402026522
ISBN
9781402026522
Hardback
Condition: New

€ 157.17

Hardback.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
260
Condition
New
SKU
V9781402027758
ISBN
9781402027758
Hardback
Condition: New

€ 203.39

Hardback.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
282
Condition
New
SKU
V9781402031434
ISBN
9781402031434
Hardback
Condition: New

€ 101.69

Hardback.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
434
Condition
New
SKU
V9781402038150
ISBN
9781402038150
Hardback
Condition: New

€ 101.69

Paperback.
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
434
Condition
New
SKU
V9781402038167
ISBN
9781402038167
Paperback
Condition: New

€ 101.69

Hardback.
Format
Hardback
Publication date
2006
Publisher
Springer-Verlag New York Inc. United States
Number of pages
324
Condition
New
SKU
V9781402040399
ISBN
9781402040399
Hardback
Condition: New

€ 157.17

Hardback.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Edition
2nd ed. 2006
Number of pages
244
Condition
New
SKU
V9781402040771
ISBN
9781402040771
Hardback
Condition: New

€ 157.17

Hardback.
Format
Hardback
Publication date
2006
Publisher
Springer-Verlag New York Inc. United States
Number of pages
206
Condition
New
SKU
V9781402050862
ISBN
9781402050862
Hardback
Condition: New

€ 157.17

Subscribe to our newsletter

News on special offers, signed editions & more!