1
0
0
(1 - 18 von 20
)
Modelling and Scheduling in CLP(FD) - Silvia Breitinger, Hendrik C....
books.google.de
Hendrik C. R. Lock. IBM, pages. 0 Reviewshttps://books.google.com/books/about/Modelling_and_Scheduling_in_CLP_FD.html?id=0kLEPgAACAAJ ...
Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and...
books.google.de
Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These...
Functional And Logic Programming - Proceedings Of The Second Fuji
books.google.de
This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal...
Logic Programming: Proceedings of the International Symposium -...
books.google.de
December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association...
Functional And Logic Programming - Proceedings Of The Second ...books.google.es › books
books.google.es
... Astronautics) Hendrik Lock (University of Karlsruhe) Erik Meijer (Oregon Graduate Institute and University of Utrecht) Atsushi Ohori (Kyoto University) Christian ...
Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar ...
books.google.cz
Special thanks to Manuel Chakravarty, Birgit Heinz, Hendrik Lock and Nick Graham who contributed either directly or through critical reviews to the ...
Logic Programming: Proceedings of the Fourteenth International...
books.google.de
Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and...
Functional And Logic Programming - Proceedings Of The Second ...
books.google.cz
... Wei Li (Beijing University of Aeronautics and Astronautics) Hendrik Lock (University of Karlsruhe) Erik Meijer (Oregon Graduate Institute and University ...
Programming Language Implementation and Logic Programming: 3rd...
books.google.de
Many thanks to Uwe Afimann, Jim Cordy, Roland Dietrich, Birgit Heinz and Hendrik Lock for careful reading and criticism of various drafts of the paper. 61.
Logic Programming: Proceedings of the International ...
books.google.cz
... Lindgren Rachid Echahed Jorge Lobo David Evans Hendrik Lock François Fages Rita Loogen Gérard Ferrand Gabriel Pereira Lopes Torkel Franzén Michael Maher ...
Programming Languages: Implementations, Logics, and Programs: 8th
books.google.de
This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP...
Logic Programming: Proceedings of the Fourteenth ...
books.google.com
... Lagoon Giordano Laura Michael Leuschel John Lloyd Hendrik Lock Pedro Lopez - Garcia Michael Maher Sarah Mallet Jan Małuszynski Kim Marriott Bern Martens ...
Programming Language Implementation and Logic Programming: ...
books.google.cz
Many thanks to Uwe ABmann , Jim Cordy , Roland Dietrich , Birgit Heinz and Hendrik Lock for careful reading and criticism of various drafts of the paper 61.
Proceedings of the ACM SIGPLAN International Conference ...
books.google.com
... Daniel LeMetayer , Hendrik Lock , Scott Mahlke , John Maraist , Luc Maranget , John Mitchell , Eugenio Moggi , Oege de Moor , Vincent van Oostrom .
Logic Programming: Proceedings of the Fourteenth International ...books.google.nl › books
books.google.nl
... Anthony J. Kusalik Laura Lafave Vitaly Lagoon Giordano Laura Michael Leuschel John Lloyd Hendrik Lock Pedro Lopez-Garcia Michael Maher Sarah Mallet ...
Programming Languages and Systems - ESOP '94: 5th European Symposium...
books.google.de
... Hendrik C.R. Lock IBM Scientific Centre Heidelberg Vangerowstr dhdibm 1 .bitnet Abstract: We present an extension of X-calculus by logical features and ...
Matchlock and the Rebel: Book Two in a Thirty Years' War ...
books.google.com
“Do not lie to me now Hendrik,” Lock hissed. “Do you mean to tell me that you failed to notice the butchery down there?” “Your...your Dutch.
sortiert nach Relevanz / Datum