1
Table of Contents: ... and Uninterpreted Functions -- Decision Procedures for Equality Logic and Uninterpreted Functions -- Linear...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...
Ligazón do recurso
Electrónico eBook
3
Publicado 2005
Table of Contents: ... Recognition from Tracked Face Displacements -- 2 – Affective Computing (AC 2005) -- Adaptation and Decision...
Ligazón do recurso
Electrónico eBook
4
Publicado 2006
Table of Contents: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Ligazón do recurso
Electrónico eBook
5
Publicado 2007
Table of Contents: ... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...
Ligazón do recurso
Electrónico eBook
6
Publicado 2008
Table of Contents: ... the Semantic Desktop and the Physical World -- Learning by Observing: Case-Based Decision Making in Complex...
Ligazón do recurso
Electrónico eBook
7
por Rasmussen, Svend., Rasmussen, Svend.
Publicado 2013
Table of Contents: ... Programming in Practical Production Planning -- 21 Modelling Supply Functions Using Linear Programming...
Ligazón do recurso
Electrónico eBook