Special issue on A. I. applications of SAT technology

Bibliographische Detailangaben

Weitere Verfasser:	Grégoire, Éric (HerausgeberIn), Lagniez, Jean-Marie (HerausgeberIn), Zhang, Du (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	New Jersey, London, Singapore, Beijing, Shanghai, Homng Kong, Taipei, Chennai, Tokyo World Scientific February 2018
Schriftenreihe:	International journal on artificial inteligence tools volume 27, number 1 (February 2018)
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!