בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
computation programming » communication programming, computation programmatic, computing programming
deduction computation » prediction computation, detection computational, education computational
programming semantics » programming mathematics, programming series, programming secrets
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
computation programming » communication programming, computation programmatic, computing programming
deduction computation » prediction computation, detection computational, education computational
programming semantics » programming mathematics, programming series, programming secrets
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
1
יצא לאור 2015
תוכן הענינים:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים:
“... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2013
תוכן הענינים:
“... and Sequent Rules with an Application to S5 -- Schemata of Formulæ in the Theory of Arrays -- TAFA – A Tool...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים:
“... (System Description) -- LogAnswer - A Deduction-Based Question Answering System (System Description) -- A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני