בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
1
יצא לאור 2006
תוכן הענינים:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
תוכן הענינים:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
תוכן הענינים:
“... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2007
תוכן הענינים:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני