Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Proceedings on mathematical methods of specification and synthesis of software system'85 by Bibel W Ed.; Jantke K P Ed. by Series: Lecture notes in computer science; 215
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N85 M6.

Place hold Save to lists Add to cart
2.
Fundamentals of artifical intelligence: Advanced course by Bibel W Ed.; Jorrand Ph Ed. by Series: Lecture notes in computer science; 232
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) M6.

Place hold Save to lists Add to cart
3.
Fundamentals of artificial intelligence Bibel W; Jorrand P H by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) M6;M7.

Place hold Save to lists Add to cart