Showing 1 - 1
of 1
for search: '',
query time: 0.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: ASYDE (Workshop)
Author: SpringerLink (Online service)
Call Number: Q - Science
Collection: Electronic Access
Subject: Artificial intelligence
Subject: Computer logic
Institution
Collection
Format
Subject
Author
ASYDE (Workshop)
1
CIFMA (Workshop)
1
Cleophas, Loek
1
CoSim-CPS (Workshop)
1
International Conference on Software Engineering and Formal Methods
1
International Conference on Software Engineering and Formal Methods Online)
more ...
1
Massink, Mieke
SpringerLink (Online service)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication