Hans Kleine Buning – författare
Visar alla böcker från författaren Hans Kleine Buning. Handla med fri frakt och snabb leverans.
11 produkter
Prolog
Grundlagen und Anwendungen
Av Stefan Schmitgen, Hans Kleine Buning
E-bok, 2013
452 kr
Lägg i varukorg
Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl reiche Anwendungen im Bereich der Expertensysteme und der natürlichsprachlichen Ver arbeitung, immer mehr an Bedeutung gewonnen. Gegenüber prozeduralen Programmier sprachen, wie z.B. Pascal, in denen Verfahren zur …
Prolog
Grundlagen und Anwendungen
Av Hans Kleine Büning, Stefan Schmitgen
Häftad, 1986
517 kr
Lägg i varukorg
Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl reiche Anwendungen im Bereich der Expertensysteme und der natürlichsprachlichen Ver arbeitung, immer mehr an Bedeutung gewonnen. Gegenüber prozeduralen Programmier sprachen, wie z.B. Pascal, in denen Verfahren zur …
CSL '87
1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1988
569 kr
Lägg i varukorg
This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In …
CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1989
551 kr
Lägg i varukorg
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems …
CSL '89
3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1990
569 kr
Lägg i varukorg
This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers …
Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1991
551 kr
Lägg i varukorg
The workshop Computer Science Logic '90 was held at theMax-Planck-Haus in Heidelberg, Germany, October 1-5, 1990.It was the fourth in a series of worskhops, following CSL'89 at the University of Kaiserslautern (see LNCS 440), CSL'88 at the University of Duisberg (see LNCS 385), and CSL'87 at the …
Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Av Egon Börger, Gerhard Jäger m. fl.
Häftad, 1992
551 kr
Lägg i varukorg
This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne,Switzerland, October 7-11, 1991. This was the fifth in aseries of annual workshops on computer sciencelogic (thefirst four are recorded in LNCS volumes 329, 385, 440, and533).The …
Computer Science Logic
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Av Egon Börger, Gerhard Jäger m. fl.
Häftad, 1993
551 kr
Lägg i varukorg
This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa, Italy, inSeptember/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Conference of the EuropeanAssociation for Computer Science Logic (EACSL). Fullversions of the …
Theory and Applications of Satisfiability Testing – SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Av Hans Kleine Büning, Xishun Zhao
Häftad, 2008
551 kr
Lägg i varukorg
This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an …
Theory and Applications of Satisfiability Testing - SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Av Xishun Zhao, Hans Kleine Buning
E-bok, 2008
718 kr
Lägg i varukorg
This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an …
