Special issue on A. I. applications of SAT technology

Gespeichert in:
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!