MPG.eBooks - Search Results - "mathematical"

Search alternatives:
"mathematical" » "mathematics"

Cover Image

1

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

Table of Contents: “... operational semantics of Parlog Part II: Or-Parallelism -- WAM algebras—A mathematical study of implementation...”

Cover Image

2

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

Published 2000

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”