Livros de Hans Kleine Büning - BookPine

Modellierung: Grundlagen und formale Methoden

Modellierung: Grundlagen und formale Methoden

Uwe Kastens

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Egon Börger

Mobile Multimedia Broadcasting Standards

Mobile Multimedia Broadcasting Standards

Fa-Long Luo

Theory and Applications of Satisfiability Testing - SAT 2008

Theory and Applications of Satisfiability Testing - SAT 2008

Hans Kleine Büning

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Hans Kleine Büning

Propositional Logic: Deduction and Algorithms

Propositional Logic: Deduction and Algorithms

Hans Kleine Büning

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Hans Kleine Büning

CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Egon Börger

Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.

Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.

Egon Börger

CSL'88: 2nd Workshop On Computer Science Logic (Duisburg, FRG, October 3-7, 1988) Proceedings

CSL'88: 2nd Workshop On Computer Science Logic (Duisburg, FRG, October 3-7, 1988) Proceedings

Egon Börger

CSL 87: 1st Workshop on Computer Science Logic (Proceedings)

CSL 87: 1st Workshop on Computer Science Logic (Proceedings)

Egon Börger

Prolog: Grundlagen und Anwendungen (XLeitfäden der angewandten Informatik)

Prolog: Grundlagen und Anwendungen (XLeitfäden der angewandten Informatik)

Hans Kleine Büning