Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- ansi c 1 Treffer
- argumentation based negotiation 1 Treffer
- automated theorem proving 1 Treffer
- behavioral interface specification language 1 Treffer
- belief revision 1 Treffer
-
33 weitere Werte:
- canonical form 1 Treffer
- collaborative agents 1 Treffer
- continuations 1 Treffer
- control system 1 Treffer
- coq proof assistant 1 Treffer
- defunctionalization and refunctionalization 1 Treffer
- dependent types 1 Treffer
- eta redexes 1 Treffer
- evidence 1 Treffer
- formal methods 1 Treffer
- formal semantics 1 Treffer
- generalisation 1 Treffer
- jeuxdemots 1 Treffer
- lambda-lifting and lambda-dropping 1 Treffer
- lexical networks 1 Treffer
- lightweight fusion and lightweight fission 1 Treffer
- list processing 1 Treffer
- multi-agent system 1 Treffer
- natural language inference 1 Treffer
- real-time 1 Treffer
- recursion pattern 1 Treffer
- software verification 1 Treffer
- st code 1 Treffer
- st language 1 Treffer
- symbolic convolutions 1 Treffer
- syntax of automath 1 Treffer
- system sterowania 1 Treffer
- taba 1 Treffer
- theorem proving 1 Treffer
- there and forth again (tafa) 1 Treffer
- turing machines 1 Treffer
- type ontologies 1 Treffer
- type theory 1 Treffer
Publikation
- annales societatis mathematicae polonae. series 4: fundamenta informaticae 4 Treffer
- e-informatica software engineering journal 1 Treffer
- fundamenta informaticae 1 Treffer
- international journal of applied mathematics and computer science 1 Treffer
- journal of automation mobile robotics and intelligent systems 1 Treffer
- 3 weitere Werte:
Sprache
13 Treffer
-
In: Metody Informatyki StosowanejOnline serialPeriodicalZugriff:
-
In: Journal of Automation Mobile Robotics and Intelligent SystemsOnline serialPeriodicalZugriff:
-
Online serialPeriodicalZugriff:
-
In: Annales Societatis Mathematicae Polonae. Series 4: Fundamenta InformaticaeOnline serialPeriodicalZugriff:
-
In: Fundamenta InformaticaeOnline serialPeriodicalZugriff:
-
Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed SystemsIn: Journal of Language ModellingOnline serialPeriodicalZugriff:
-
In: International Journal of Applied Mathematics and Computer ScienceOnline serialPeriodicalZugriff:
-
In: e-Informatica Software Engineering JournalOnline serialPeriodicalZugriff:
-
In: Annales Societatis Mathematicae Polonae. Series 4: Fundamenta InformaticaeOnline serialPeriodicalZugriff:
-
In: Studia InformaticaOnline serialPeriodicalZugriff:
-
In: Annales Societatis Mathematicae Polonae. Series 4: Fundamenta InformaticaeOnline serialPeriodicalZugriff:
-
In: Annales Societatis Mathematicae Polonae. Series 4: Fundamenta InformaticaeOnline serialPeriodicalZugriff: