Media type: Journal Title: Annals of mathematics and artificial intelligence : AMAI imprint: Amsterdam: Baltzer, 1990- Basel: Baltzer, 1990-1995 Publication information: 1.1990 - Published in: Annals of the mathematical sciences: Series B Language: English ISSN: 1012-2443 Identifier: RVK notation: ST 300 : Allgemeines Keywords: Künstliche Intelligenz > Zeitschrift Mathematik > Zeitschrift Origination: Footnote:
Golumbic, Martin Charles [Editor] 4,3/4: Foundations of artificial intelligence [1] [Selection of papers presented at the First Bar-Ilan Symposium on the Foundations of Artificial Intelligence (BISFAI-89) held in Ramat Gan, Israel in June 1989] / ed.: Martin Charles Golumbic Amsterdam: Baltzer, 1991
Lassez, Jean-Louis [Editor] 4,1/2: Theory and applications of artificial intelligence [revised and update versions of papers ... International Computer Science Conference (ICSC) on the Theory and Applications of Artificial Intelligence ... December 1988 ... Hongkong] eds.: J.-L. Lassez Basel: Baltzer, 1991
Golumbic, Martin Charles [Editor]; Jeroslow, Robert G. [Honoree] 1,1/4: Horn logic, search and satisfiability a collection of papers in memory of Robert G. Jeroslow eds.: Martin Charles Golumbic Basel: Baltzer, 1990