Refine your search
Availability
-
Authors
- Anido, Luis
- Baier, Christel
- Beyer, Dirk
- Biere, Armin
- Braga, Adriana
- Caires, Luís
- Cavalcanti, Welchy Leite
- Chiacchiera, Silvia
- Dal Lago, Ugo
- Duettmann, Allison
- Felden, Carsten
- Ferreira, Carla
- Goedicke, Michael
- Griffiths, David
- Groote, Jan Friso
- Guerra, Esther
- Harari, Yuval N.
- Hasselbring, Wilhelm
- Horsch, Martin Thomas
- Huisman, Marieke
- Show more
- Show less
-
Item types
-
Locations
-
Places
-
Series
-
Topics
- Algorithms & data structures
- Artificial intelligence
- Computer science
- Computers
- Expert systems / knowledge-based systems
- Information technology: general issues
- Mathematical theory of computation
- Natural Language Processing (NLP)
- Natural language & machine translation
- Software Engineering
- Theory of Computation
- artificial intelligence
- formal logic
- formal methods
- model checking
- program compilers
- programming languages
- semantics
- software engineering
- verification
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages