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

Search alternatives:
"mathematics logic and foundations" » "mathematical logic and foundations"

Cover Image

41

Algorithms in Invariant Theory

by Sturmfels, Bernd
Published 2008

Springer Vienna

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

Cover Image

42

Logic and Integer Programming

by Williams, H. Paul
Published 2009

Springer US

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

Cover Image

43

Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Published 2017

Springer Berlin Heidelberg

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

Cover Image

44

Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Pr...

Published 2014

Springer International Publishing

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

Cover Image

45

Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Published 2015

Springer Berlin Heidelberg

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

Cover Image

46

Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

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

Cover Image

47

Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

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

Cover Image

48

Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Published 2011

Springer Berlin Heidelberg

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

Cover Image

49

Logic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings

Published 2023

Springer Nature Switzerland

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

Cover Image

50

R-Calculus, V: Description Logics

by Li, Wei, Sui, Yuefei
Published 2024

Springer Nature Singapore

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

Cover Image

51

Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Published 2011

Springer Berlin Heidelberg

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

Cover Image

52

Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

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

Cover Image

53

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Published 2013

Springer Berlin Heidelberg

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

Cover Image

54

Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

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

Cover Image

55

Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Published 2023

Springer Nature Switzerland

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

Cover Image

56

Rewriting Techniques and Applications : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Published 2009

Springer Berlin Heidelberg

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

1
2
3