Titel

Merkliste
1 Ergebnisse

A visual logic:

, In: Proceedings of the 1996 ACM symposium on Applied Computing,

Fisher, John R. ; Tran, Luu - p. 17-21 , 1996

Link: https://dl.acm.org/doi/10.1145/331119.331130

RT 
T1 <cTitle>Proceedings of the 1996 ACM symposium on Applied Computing</cTitle>: T1 <Title>A visual logic</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-331130&Exemplar=1&LAN=DE
				
A1 Fisher, John R.
A1 Tran, Luu
PB ACM
YR 1996
K1 classical negation
K1 clause trees
K1 logic programs
K1 supported propositions
K1 visual logic
K1 Computing methodologies
K1 Artificial intelligence
K1 Knowledge representation and reasoning
K1 Logic programming and answer set programming
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Constraint and logic languages
K1 Symbolic and algebraic manipulation
K1 Symbolic and algebraic algorithms
K1 Theorem proving algorithms
K1 Theory of computation
K1 Logic
K1 Constraint and logic programming
K1 Context specific languages
K1 Visual languages
K1 Applied computing
K1 Document management and text processing
K1 Document capture
K1 Graphics recognition and interpretation
K1 Computer graphics
SP 17
OP 21
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/331119.331130
DO https://dl.acm.org/doi/10.1145/331119.331130
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)