1
Spis treści: ... and Uninterpreted Functions -- Decision Procedures for Equality Logic and Uninterpreted Functions -- Linear...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2006
Spis treści: ... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2005
Spis treści: ... Recognition from Tracked Face Displacements -- 2 – Affective Computing (AC 2005) -- Adaptation and Decision...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2006
Spis treści: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2007
Spis treści: ... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2008
Spis treści: ... the Semantic Desktop and the Physical World -- Learning by Observing: Case-Based Decision Making in Complex...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Spis treści: ... Programming in Practical Production Planning -- 21 Modelling Supply Functions Using Linear Programming...
Dokumenty pełnotekstowe
Elektroniczne E-book