Showing 1 - 4
of 4
for search: '',
query time: 0.06s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: SpringerLink (Online service)
Call Number: Q - Science
Collection: Electronic Access
Subject: Artificial intelligence
Subject: Computer logic
Subject: Electronic data processing
Institution
Collection
Format
Subject
Artificial intelligence
Computer logic
4
Computer science
Electronic data processing
3
Software engineering
2
Logic, Symbolic and mathematical
more ...
2
Natural computation
1
Computer programs Verification
1
Computer security
1
Computer software Verification
1
Computer storage devices
1
Data encryption (Computer science)
1
Data protection
1
Formal languages
1
Formal methods (Computer science)
1
Logic
1
Management information systems
1
Programming languages (Electronic computers)
1
Soft computing
1
Uncertainty (Information theory)
see all ...
less ...
Author
SpringerLink (Online service)
2
UCNC (Conference)
1
Ahrendt, Wolfgang,
1
Beckert, Bernhard,
1
Bubel, Richard,
1
Hähnle, Reiner,
more ...
1
Jøsang, Audun,
1
Patitz, Matthew J.,
1
Schmitt, P. H. 1948-
1
Stannett, Mike,
1
Stepney, Susan, 1958-
1
UCNC (Conference) Fayetteville, Ark.)
1
UCNC (Conference) Fontainebleau, France)
1
Ulbrich, Mattias,
1
Verlan, Sergey,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication