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

1081

Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Published 2009

Springer Berlin Heidelberg

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

Read Now

1082

Number Theory : An approach through history From Hammurapi to Legendre

by Weil, André
Published 2001

Birkhäuser

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

Read Now

1083

Adaptive Resonance Theory Microchips : Circuit Design Techniques

by Serrano-Gotarredona, Teresa, Linares-Barranco, Bernabé, Andreou, Andreas G.
Published 1998

Springer US

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

Read Now

1084

Handbook of Logic and Proof Techniques for Computer Science

by Krantz, Steven G.
Published 2002

Birkhäuser

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

Read Now

1085

Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

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

Read Now

1086

Power Algebras over Semirings : With Applications in Mathematics and Computer Science

by Golan, Jonathan S.
Published 1999

Springer Netherlands

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

Read Now

1087

Geophysical Applications of Artificial Neural Networks and Fuzzy Logic

Published 2003

Springer Netherlands

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

Read Now

1088

Handbook of Metric Fixed Point Theory

Published 2001

Springer Netherlands

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

Read Now

1089

Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers

Published 2023

Springer International Publishing

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

Read Now

1090

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

Published 1990

Springer Berlin Heidelberg

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

Read Now

1091

Application and Theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

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

Read Now

1092

Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Published 2024

Springer Nature Switzerland

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

Read Now

1093

Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers

by Blanck, Jens
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

1094

Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

by Moggi, Eugenio
Published 1997

Springer Berlin Heidelberg

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

Read Now

1095

Foundations of Image Understanding

Published 2001

Springer US

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

Read Now

1096

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

Published 1989

Springer Berlin Heidelberg

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

Read Now

1097

Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings

Published 1999

Springer Berlin Heidelberg

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

Read Now

1098

Fuzzy Logic in Artificial Intelligence : IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings

Published 1994

Springer Berlin Heidelberg

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

Read Now

1099

Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

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

Read Now

1100

Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings

Published 1989

Springer Berlin Heidelberg

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

Narrow Search