Showing 1 - 3
of 3
for search: '',
query time: 0.03s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: *-*
Genre: Conference papers and proceedings
Genre: Dictionaries
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Author
3
SpringerLink (Online service)
1
Bojańczyk, Mikołaj,
1
International Haifa Verification Conference
1
International Haifa Verification Conference Haifa, Israel)
1
Lasota, Sławomir,
1
Li, Xuandong,
more ...
1
Liu, Zhiming, 1961-
1
Piterman, Nir,
1
Potapov, Igor,
1
RP (Workshop)
1
RP (Workshop) Warsaw, Poland)
1
Symposium on Dependable Software Engineering: Theories, Tools and Applications
1
Symposium on Dependable Software Engineering: Theories, Tools and Applications Nanjing, China)
1
Yi, Wang,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication