Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Bernhard Beckert
[go: Go Back, main page]
Logo Uni weis auf blau  
Logo FB4
 Bernhard Beckert

» Contact

» Teaching

» Research

» Activities

» Publications

» Misc

 
 Path: Bernhard Beckert
  
Bernhard Beckert's Homepage
Pinselstrich rechts
Pinselstrich links

  
Bernhard Beckert
Prof. Dr.,
Juniorprofessor for Artificial Intelligence

AI Research Group
Department of Computer Science
University of Koblenz-Landau

Short cuts

SEFM 2005 - TABLEAUX 2005 - JAR Special Issue - KeY - Verisoft - Informatik für IM

More Information

LNAI 3702 Cover SEFM 2005 Proceedings Cover