MPG.eBooks - Search Results

Cover Image

341

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

342

Loeb Measures in Practice: Recent Advances : EMS Lectures 1997

by Cutland, Nigel J.
Published 2000

Springer Berlin Heidelberg

Cover Image

343

The Valuative Tree

by Favre, Charles, Jonsson, Mattias
Published 2004

Springer Berlin Heidelberg

Cover Image

344

Set Theory : The Third Millennium Edition, revised and expanded

by Jech, Thomas
Published 2003

Springer Berlin Heidelberg

Cover Image

345

Characters and Cyclotomic Fields in Finite Geometry

by Schmidt, Bernhard
Published 2002

Springer Berlin Heidelberg

Cover Image

346

Cabal Seminar 81-85 : Proceedings. Caltech-UCLA Logic Seminar 1981-85

Published 1988

Springer Berlin Heidelberg

Cover Image

347

Proof Theory : An Introduction

by Pohlers, Wolfram
Published 1989

Springer Berlin Heidelberg

Cover Image

348

Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Published 1989

Springer Berlin Heidelberg

Cover Image

349

Combinatorics and Graph Theory : Proceedings of the Symposium Held at the Indian Statistical Institute, Calcutta, February 25-29, 1980

Published 1981

Springer Berlin Heidelberg

Cover Image

350

Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, Se...

Published 1992

Springer Berlin Heidelberg

Cover Image

351

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

by Homer, Steven, Nerode, Anil, Platek, Richard A., Sacks, Gerald E.
Published 1990

Springer Berlin Heidelberg

Cover Image

352

Frontiers of Combining Systems : Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

353

Linear Spaces with Few Lines

by Metsch, Klaus
Published 1991

Springer Berlin Heidelberg

Cover Image

354

Elemental Methods in Ergodic Ramsey Theory

by McCutcheon, Randall
Published 1999

Springer Berlin Heidelberg

Cover Image

355

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Cover Image

356

Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Cover Image

357

Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Published 2004

Springer Berlin Heidelberg

Cover Image

358

Decidable Theories : Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

by Siefkes, Dirk
Published 1970

Springer Berlin Heidelberg

Cover Image

359

Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Sele...

Published 2004

Springer Berlin Heidelberg

Cover Image

360

Fundamentals of Computation Theory : Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977

Published 1977

Springer Berlin Heidelberg

13
14
15
16
17
18
19
20
21
22
23