Search

You searched for: Auteur Bjørner, Nikolaj Remove constraint Auteur: Bjørner, Nikolaj
1 - 4 of 4
Number of results to display per page

Search Results

1. FM 2015: Formal Methods
thumbnail
Full text!
Author:
Bjørner; Bjørner, Nikolaj; de Boer, Frank
Publisher:
Springer International Publishing 2015
Format:
e-book
2. Automated Deduction – CADE-23
thumbnail
Full text!
Author:
Bjørner, Nikolaj; Kanade, Takeo; Sofronie-Stokkermans, Viorica
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
3. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
4. Distributed Computing and Internet Technology
thumbnail
Full text!
Author:
Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida; Parida, Laxmi; Prasad, Sanjiva
Publisher:
Springer International Publishing 2016
Format:
e-book