Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Teoremes -- Demostració automà tica InterfÃcies grà fiques d’usuari (Informà tica) Computer game -- Programming Intel·ligència artificial -- Congressos Planificació numèrica Satisfactibilitat booleana metarestricciones
Palahà i Sitges, Miquel Baumgartner, Alexander Castro Villegas, Francesc Barber, Federico Moreno, Ginès Muñoz Solà , VÃctor Almendros-Jimenez, Jesùs M.