MPG.eBooks - Search Results - "mathematics logic and foundations"

1201

Decision Theory and Multi-Agent Planning

Published 2006

Springer Vienna

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1202

Harmonies of Disorder : Norbert Wiener: A Mathematician-Philosopher of Our Time

by Montagnini, Leone
Published 2017

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1203

A Beginner’s Guide to Finite Mathematics : For Business, Management, and the Social Sciences

by Wallis, W.D.
Published 2004

Birkhäuser Boston

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1204

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

by Kahle, Reinhard
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1205

From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology

by Stankovic, Radomir S., Astola, Jaakko
Published 2011

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1206

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

by Giunchiglia, Enrico
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1207

Fuzzy Logic for Planning and Decision Making

by Lootsma, Freerk A.
Published 1997

Springer US

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1208

Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Published 1990

Springer New York

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1209

Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1210

Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1211

Komplexitätstheorie : Grenzen der Effizienz von Algorithmen

by Wegener, Ingo
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1212

Fuzzy Logic and Fuzzy Control : IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991. Proceedings

Published 1994

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1213

Applying Soft Computing in Defining Spatial Relations

Published 2002

Physica

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1214

Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Published 2015

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1215

Mathematisch-strukturelle Grundlagen der Informatik

by Ehrig, Hartmut, Mahr, Bernd, Cornelius, F., Große-Rhode, Martin
Published 2001

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1216

Mathematische Grundlagen der Ingenieurinformatik

by Pahl, Peter J., Damrath, Rudolf
Published 2000

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1217

Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Published 1995

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1218

Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

Published 1991

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1219

Granular Computing : An Introduction

by Bargiela, Andrzej, Pedrycz, Witold
Published 2003

Springer US

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1220

Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Narrow Search