1
Published 2012
Table of Contents: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
3
by Smith, Ben., Smith, Ben.
Published 2015
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
4
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ...Invited Talks -- A Geometric Perspective of Anthropomorphic Embodied Actions -- Cybernics:Fusion...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... equilibrium logic and dynamic logic -- ActHEX: Implementing HEX Programs with Action -- Debugging Answer-Set...
View full text
Electronic eBook
7
by Smith, Ben., Smith, Ben.
Published 2011
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
8
Table of Contents: ...OOP and ActionScript -- to OOP -- Programming Concepts -- ActionScript 2.0 Programming -- Flash OOP...
View full text
Electronic eBook
9
Published 2012
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
by Brown, Charles., Brown, Charles.
Published 2007
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
11
Table of Contents: ... -- Working with the Display -- Creating Vector Graphics with the Drawing API -- User Interaction and More...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- An Event-Condition-Action Approach for Contextual Interaction in Virtual Environments -- Automated...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ...Session: Interaction -- Perception of Audio-Generated and Custom Motion Programs in Multimedia...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Interaction Context-Based Bounding Volume Morphing in Pointing Gesture Application -- Gesture vs...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate...
View full text
Electronic eBook
17
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From...
View full text
Electronic eBook
19
by Jacobs, Sas., Jacobs, Sas.
Published 2008
Table of Contents: ...Flex Application Basics -- to Flex -- Working with Actionscript 3.0 in Flex 3 -- Creating Custom...
View full text
Electronic eBook
20
Subjects: ...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...
View full text
Electronic eBook