1
Publicado 2007
Table of Contents: ... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...
Ligazón do recurso
Electrónico eBook
2
Publicado 2012
Table of Contents: ... and Estimates of an Integral Type Nonconforming Finite Element.-Quadratic Finite Element Approximation of a...
Ligazón do recurso
Electrónico eBook
3
Publicado 2010
Table of Contents: ... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...
Ligazón do recurso
Electrónico eBook
4
Publicado 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Ligazón do recurso
Electrónico eBook