| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A conditional logic for defeasible beliefs
|
Belzer, Marvin
|
|
1988
|
4 |
1 |
p. 129-142
14 p.
|
artikel
|
| 2 |
A correction algorithm for token-passing sequences in mobile communication networks
|
|
|
1988
|
4 |
1 |
p. 149-
1 p.
|
artikel
|
| 3 |
A high-speed cellular-array multiplier with two-adder cells
|
|
|
1988
|
4 |
1 |
p. 150-151
2 p.
|
artikel
|
| 4 |
A logic model for electronic contracting
|
Lee, Ronald M.
|
|
1988
|
4 |
1 |
p. 27-44
18 p.
|
artikel
|
| 5 |
Announcements
|
|
|
1988
|
4 |
1 |
p. 143-146
4 p.
|
artikel
|
| 6 |
A quantitative approach to logical inference
|
Hooker, J.N.
|
|
1988
|
4 |
1 |
p. 45-69
25 p.
|
artikel
|
| 7 |
A two step reference problem solver
|
|
|
1988
|
4 |
1 |
p. 149-150
2 p.
|
artikel
|
| 8 |
Calendar of events
|
|
|
1988
|
4 |
1 |
p. 155-156
2 p.
|
artikel
|
| 9 |
Defeasible reasoning and decision support systems
|
Nute, Donald
|
|
1988
|
4 |
1 |
p. 97-110
14 p.
|
artikel
|
| 10 |
Die neuschaetzung des lohnsteueraufkommens im makroekonometrischen modell des Sfb 3
|
|
|
1988
|
4 |
1 |
p. 150-
1 p.
|
artikel
|
| 11 |
Editorial Board
|
|
|
1988
|
4 |
1 |
p. IFC-
1 p.
|
artikel
|
| 12 |
Effiziente algorithmen fuer relationale datenbanksysteme mit rekursion,
|
|
|
1988
|
4 |
1 |
p. 149-
1 p.
|
artikel
|
| 13 |
Evaluating linear-recursive logic queries against cyclic relations
|
|
|
1988
|
4 |
1 |
p. 148-
1 p.
|
artikel
|
| 14 |
Implementing a Taxis compiler
|
|
|
1988
|
4 |
1 |
p. 151-
1 p.
|
artikel
|
| 15 |
Introduction
|
Kimbrough, Steven O.
|
|
1988
|
4 |
1 |
p. 1-2
2 p.
|
artikel
|
| 16 |
IRS — The internal representation
|
|
|
1988
|
4 |
1 |
p. 147-
1 p.
|
artikel
|
| 17 |
Logic modeling: A tool for management science
|
Kimbrough, Steven O.
|
|
1988
|
4 |
1 |
p. 3-16
14 p.
|
artikel
|
| 18 |
Logic modeling with partially ordered preferences
|
Widmeyer, George R.
|
|
1988
|
4 |
1 |
p. 87-95
9 p.
|
artikel
|
| 19 |
Musician — A music processing and synthesis systems
|
|
|
1988
|
4 |
1 |
p. 147-
1 p.
|
artikel
|
| 20 |
On the algebraic variance of linear transformations and its applications to algebraic codes
|
|
|
1988
|
4 |
1 |
p. 151-152
2 p.
|
artikel
|
| 21 |
On the cost of reducing the interaction in interactive proof protocols
|
|
|
1988
|
4 |
1 |
p. 151-
1 p.
|
artikel
|
| 22 |
PROGEO: Darstellung und manipulation geowissenschaftlicher objekte,
|
|
|
1988
|
4 |
1 |
p. 147-
1 p.
|
artikel
|
| 23 |
Progress report #2 of PROSPECT
|
|
|
1988
|
4 |
1 |
p. 153-154
2 p.
|
artikel
|
| 24 |
Representation and processing of knowledge structures: the hybrid system KANON
|
|
|
1988
|
4 |
1 |
p. 150-
1 p.
|
artikel
|
| 25 |
Requirements analysis assisted by logic modelling
|
Scott, Peter C.
|
|
1988
|
4 |
1 |
p. 17-25
9 p.
|
artikel
|
| 26 |
Schattenwirtschaft — Micro- und makrooekonomische ergebnisse fuer die bundesrepublik deutschland
|
|
|
1988
|
4 |
1 |
p. 152-
1 p.
|
artikel
|
| 27 |
Simulierte zeit und das ada rendezvouz
|
|
|
1988
|
4 |
1 |
p. 151-
1 p.
|
artikel
|
| 28 |
Spatial imbeddings for linear and for logic structures
|
Jeroslow, Robert G.
|
|
1988
|
4 |
1 |
p. 71-86
16 p.
|
artikel
|
| 29 |
The performance of locking protocols in distributed databases
|
|
|
1988
|
4 |
1 |
p. 153-
1 p.
|
artikel
|
| 30 |
The private workspace model of concurrency control: Theory and practice
|
|
|
1988
|
4 |
1 |
p. 148-149
2 p.
|
artikel
|
| 31 |
The usage dependency model for logical database design, computing research laboratory
|
|
|
1988
|
4 |
1 |
p. 149-
1 p.
|
artikel
|
| 32 |
Towards an algebraic model for communicating processes
|
|
|
1988
|
4 |
1 |
p. 152-
1 p.
|
artikel
|
| 33 |
Umfang des schattenwirtschaftlichen arbeitsangebotes in der nebenerwerbstaetigkeit
|
|
|
1988
|
4 |
1 |
p. 152-
1 p.
|
artikel
|
| 34 |
Why nonmonotonic logic?
|
Kimbrough, Steven O.
|
|
1988
|
4 |
1 |
p. 111-127
17 p.
|
artikel
|
Tijdschrift beschrijving