Suchergebnisse - "temporal concurrent constraint programming"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-04257266 ; Universidad Javeriana. 2012.
Schlagwörter: Formal verification, Model checking, temporal concurrent constraint programming, [INFO]Computer Science [cs]
-
2
Autoren:
Quelle: Soft Computing. 8
Schlagwörter: temporal concurrent constraint programming, Computing methodologies and applications, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Reasoning under uncertainty in the context of artificial intelligence
Dateibeschreibung: application/xml
Zugangs-URL: http://dblp.uni-trier.de/db/journals/soco/soco8.html#RuedaV04
https://link.springer.com/article/10.1007/s00500-004-0390-7
http://doi.org/10.1007/s00500-004-0390-7
http://www.diva-portal.org/smash/record.jsf?pid=diva2:48251
http://www.lix.polytechnique.fr/~fvalenci/papers/ntcc-music-journal.pdf
https://doi.org/10.1007/s00500-004-0390-7 -
3
Autoren:
Quelle: Nielsen, M, Palamidessi, C & Valencia, F D 2002, 'Temporal Concurrent Constraint Programming : Denotation, Logic and Applications', Nordic Journal of Computing, vol. 9, no. 2, pp. 145-188.
Schlagwörter: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic programming, musical applications, program specification, temporal concurrent constraint programming, timed systems, 0202 electrical engineering, electronic engineering, information engineering, temporal concurrency constraint programming, multi-agent systems, calculi for concurrency
Dateibeschreibung: application/xml
Nájsť tento článok vo Web of Science 
Full Text Finder