|
|
|
|
|
|
|
|
|
Introduction to practical formal methods using temporal logic by Fisher, Michael. Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Wiley ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIS.
|
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings / edited by Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa. by Fisher, Michael [editor.] | Hoek, Wiebe [editor.] | Konev, Boris [editor.] | Lisitsa, Alexei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4160Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / edited by Michael Fisher, Fariba Sadri, Michael Thielscher. by Fisher, Michael [editor.] | Sadri, Fariba [editor.] | Thielscher, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5405Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / edited by Jürgen Dix, Michael Fisher, Peter Novák. by Dix, Jürgen [editor.] | Fisher, Michael [editor.] | Novák, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6214Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings / edited by Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori. by Fisher, Michael [editor.] | Torre, Leon [editor.] | Dastani, Mehdi [editor.] | Governatori, Guido [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7486Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
