Oliver Bittel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2010

3 Jens Hensler, Michael Blaich, Oliver Bittel: AdaBoost based Door Detection for Mobile Robots. ICAART (1) 2010: 53-57

1992

2 Oliver Bittel: Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. JELIA 1992: 262-278

1 Oliver Bittel: The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). TABLEAUX 1992: 15-18

	2010
3		Jens Hensler, Michael Blaich, Oliver Bittel: AdaBoost based Door Detection for Mobile Robots. ICAART (1) 2010: 53-57
	1992
2		Oliver Bittel: Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. JELIA 1992: 262-278
1		Oliver Bittel: The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). TABLEAUX 1992: 15-18

Coauthor Index

1 Michael Blaich [3]

2 Jens Hensler [3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page