MPG.eBooks - Search Results

Cover Image

261

Einführung in die Mathematische Logik : Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung

by Rautenberg, Wolfgang
Published 1995

Vieweg+Teubner Verlag

Cover Image

262

Graph Drawing : 11th International Symposium, GD 2003, Perugia, Italy, September 21-24, 2003, Revised Papers

Published 2004

Springer Berlin Heidelberg

Cover Image

263

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

264

Membrane Computing : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers

Published 2004

Springer Berlin Heidelberg

Cover Image

265

DNA Computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers

Published 2004

Springer Berlin Heidelberg

Cover Image

266

Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday

Published 2004

Springer Berlin Heidelberg

Cover Image

267

Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Cover Image

268

Cardinalities of Fuzzy Sets

by Wygralak, Maciej
Published 2003

Springer Berlin Heidelberg

Cover Image

269

Automata, Languages and Programming : Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings

Published 1978

Springer Berlin Heidelberg

Cover Image

270

The Syntax and Semantics of Infinitary Languages

Published 1968

Springer Berlin Heidelberg

Cover Image

271

Theory and Applications of Graphs : Proceedings, Michigan, May 11 - 15, 1976

Published 1978

Springer Berlin Heidelberg

Cover Image

272

Cambridge Summer School in Mathematical Logic : Held in Cambridge /U. K., August 1-21, 1971

Published 1973

Springer Berlin Heidelberg

Cover Image

273

Combinatorial Mathematics V. : Proceedings of the Fifth Australian Conference, Held at the Royal Melbourne Institute of Technology, August 24 - 26, 1976.

Published 1977

Springer Berlin Heidelberg

Cover Image

274

The Axiom of Constructibility : A Guide for the Mathematician

by Devlin, K. J.
Published 1977

Springer Berlin Heidelberg

Cover Image

275

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

Published 1977

Springer Berlin Heidelberg

Cover Image

276

First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories

by Makkai, M., Reyes, G.E.
Published 1977

Springer Berlin Heidelberg

Cover Image

277

Combinatoire et Representation du Groupe Symetrique : Actes de la Table Ronde du C.N.R.S., tenue a l'Universite Louis Pasteur, Strasbourg, 26 au 30 avril 1976

Published 1977

Springer Berlin Heidelberg

Cover Image

278

Approximation Theory : Proceedings of an International Conference held at Bonn, Germany, June 8-11, 1976

Published 1976

Springer Berlin Heidelberg

Cover Image

279

Hypergraph Seminar : Ohio State University, 1972

Published 1974

Springer Berlin Heidelberg

Cover Image

280

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Published 1973

Springer Berlin Heidelberg

9
10
11
12
13
14
15
16
17
18
19