( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Musical Knowledge: What can Artificial Intelligence Bring to the Musician?

, и . Readings in Music and Artificial Intelligence, Harwood Academic publishers, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Maia Alandjiyska

Safwat Alani

Yilmaz Alan

Bertold Aland

Viola Alanku

 

Другие публикации лиц с тем же именем

Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs., , и . CADE, том 607 из Lecture Notes in Computer Science, стр. 310-324. Springer, (1992)Agent Protocols as Executable Ontologies., и . MICAI, том 2972 из Lecture Notes in Computer Science, стр. 99-108. Springer, (2004)Experiments in Automating Hardware Verification Using Inductive Proof Planning., , , и . FMCAD, том 1166 из Lecture Notes in Computer Science, стр. 94-108. Springer, (1996)An Algebraic Semantics of Prolog Program Termination., и . ICLP, стр. 316-330. MIT Press, (1991)Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain., и . TPHOLs, том 2152 из Lecture Notes in Computer Science, стр. 185-200. Springer, (2001)Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm., , и . ASE, стр. 2-9. IEEE Computer Society, (1997)Local Search on Random 2+p-SAT., , и . ECAI, стр. 113-117. IOS Press, (2000)ABC Repair System for Datalog-like Theories., , и . KEOD, стр. 333-340. SciTePress, (2018)A Proof Environment for Arithmetic with the Omega Rule., и . AISMC, том 958 из Lecture Notes in Computer Science, стр. 115-130. Springer, (1994)Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm., , и . Autom. Softw. Eng., 6 (4): 329-356 (1999)