Ergebnisse für: Algebraisches Programmieren

Hier findest Du Bücher, die sich mit Algebraisches Programmieren beschäftigen.

Buch Cover Algebraic and Logic Programming
Algebraic and Logic Programming

Springer Berlin
53.49 € · eBook
Constraint Logic Programming Logic Programming algebraic programming algebraisches Programmieren higher-order programming höherstufiges Programmieren logic programming proving term rewri theorem proving
This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic technique...
Buch Cover Algebraic and Logic Programming
Algebraic and Logic Programming

Springer Berlin
53.49 € · Paperback
Abstrakte Interpretation Algebraisches Programmieren Typensysteme abstract interpretation algebraic programming logic logic programming programming term rewriting type systems
This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.The volume presents 21 revised full papers selected from 54 submissions; also included is an ...
Buch Cover Algebraic and Logic Programming
Algebraic and Logic Programming

Springer Berlin
53.49 € · Paperback
Abstract Data Types Abstrakte Datentypen Algebraisches Programmieren Algebric Programming Logic Programming Resolution Rewriting Systems logic programming programming language semantics theorem proving
This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections between...
Buch Cover Algebraic and Logic Programming
Algebraic and Logic Programming

Springer Berlin
53.49 € · Paperback
Constraint Logic Programming Logic Programming algebraic programming algebraisches Programmieren higher-order programming höherstufiges Programmieren logic programming proving term rewri theorem proving
This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic technique...
Buch Cover Algebraic and Logic Programming
Algebraic and Logic Programming

Springer Berlin
53.49 € · eBook
Abstrakte Interpretation Algebraisches Programmieren Typensysteme abstract interpretation algebraic programming logic logic programming programming term rewriting type systems
This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.The volume presents 21 revised full papers selected from 54 submissions; also included is an ...
Buch Cover Algebraic and Logic Programming
Algebraic and Logic Programming

Springer Berlin
53.49 € · eBook
Abstract Data Types Abstrakte Datentypen Algebraisches Programmieren Algebric Programming Logic Programming Resolution Rewriting Systems logic programming programming language semantics theorem proving
This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections between...
Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden