SICStus Prolog User’s Manual 4.3: Core reference documentation von Mats Carlsson

Weitere Bücher:

Mats Carlsson

of this publishing house

Mehr zum Thema

Art Nr.: 3735737447
ISBN 13: 9783735737441
B-Nr: INF1000557975
SubTitle: Core reference documentation
ReleaseYear: 2014
Published by: Books On Demand
Edition: Taschenbuch
Cover: Taschenbuch
Cover Format: 220x170x25 mm
Pages: 412
Weight: 715 g
Language: Englisch
Author: Mats Carlsson

Gebraucht - Sehr gut SG - Ungelesenes Mängelexemplar, gestempelt, mit leichten Lagerspuren

Portofrei innerhalb Deutschlands!



Alle Artikel werden von uns professionell verpackt, so dass die Beschädigungsgefahr beim Versand minimiert wird.

Information of Author
Mats Carlsson: Mats Carlsson is a senior researcher at the Swedish Institute of Computer Science, and is the main author of SICStus Prolog. The development grew as a by-product out of his Ph.D. thesis from the Royal Institute of Technology, Stockholm, 1990 named "Design and Implementation of an OR-Parallel Prolog Engine". Carlsson has wide experience from applications of logic and constraint programming, and is the author of numerous research papers. Thom Fruehwirth: Thom Fruehwirth is a Professor of Computer Science at the University of Ulm, Germany. He is the designer of the declarative programming language Constraint Handling Rules (CHR) and the main author of two books on constraint logic programming and reasoning.
Information of Author:
Mats Carlsson: Mats Carlsson is a senior researcher at the Swedish Institute of Computer Science, and is the main author of SICStus Prolog. The development grew as a by-product out of his Ph.D. thesis from the Royal Institute of Technology, Stockholm, 1990 named "Design and Implementation of an OR-Parallel Prolog Engine". Carlsson has wide experience from applications of logic and constraint programming, and is the author of numerous research papers. Thom Fruehwirth: Thom Fruehwirth is a Professor of Computer Science at the University of Ulm, Germany. He is the designer of the declarative programming language Constraint Handling Rules (CHR) and the main author of two books on constraint logic programming and reasoning.