Digitale Bibliotheek
Sluiten
Bladeren door artikelen uit een tijdschrift
Zoeken naar
Tijdschrift
Artikel
ISSN
NBN artikel
NBN tijdschrift
DARE/NARCIS document
met titel:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
nr
titel
auteur
tijdschrift
jaar
jaarg.
afl.
pagina('s)
type
1
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations
Alfredo Burrieza
2005
68
1-2
p. 21-46
artikel
2
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems
Eugene Eberbach
2005
68
1-2
p. 47-102
artikel
3
Eliminating Introns in Ant Colony Programming
Mariusz Boryczka
2005
68
1-2
p. 1-19
artikel
4
Event Structures for Arbitrary Disruption
Harald Fecher
2005
68
1-2
p. 103-130
artikel
5
The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving
Mark-Oliver Stehr
2005
68
1-2
p. 131-174
artikel
6
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
Józef Winkowski
2005
68
1-2
p. 175-206
artikel
6 gevonden resultaten
Koninklijke Bibliotheek -
Nationale Bibliotheek van Nederland