VERÖFFENTLICHUNGEN VON WOLFGANG BIBEL

 
Lehren vom Leben Autor: Bibel, Wolfgang
Lehren vom Leben

 
The Efficiency of Theorem Proving Strategies Autoren: Plaisted, David A. / Zhu, Yunshan
The Efficiency of Theorem Proving Strategies

Theoretical understanding of the efficiencies of many different theorem proving methods
 
 
 
 
 
Multiobjective Heuristic Search Autoren: Dasgupta, Pallab / Chakrabarti, P. P. / DeSarkar, S. C.
Multiobjective Heuristic Search

This is the first book on multiobjective heuristic search.
 
 
 
Autorenservice

E-Mail-Adresse


Sind Sie Dozent?

Passwort vergessen?
Passwort


 Ja   Nein

 


ALLE ZEITSCHRIFTEN