Logic-Based Program Synthesis and Transformation
31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings
Livre Ecrit par: Vanhoof, Wim ; De Angelis, Emanuele ; Publié en: 2022
Edition:
Cham:
Springer International Publishing
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783030988692
Index décimal
006.3 .Intelligence artificielle (ouvrages généraux sur l'intelligence artificielle et la science cognitive, reconnaissance de formes comme outil de l'intelligence artificielle, systèmes de questions et réponses)
Thème
Informatique
Mots clés:
Artificial intelligence
computer programming
Computer systems
logic programming
formal logic
distributed computer systems
logic-based program development
object-oriented programming
parallel processing systems
