Many-sorted logic and its applications

Bibliographic Details
Other Authors: Meinke, K. (Karl) (-), Tucker, J. V. (John V.), 1952-
Format: Book
Language:Inglés
Published: Chichester [etc.] : John Wiley & Sons 1993.
Series:Wiley Professional Computing
Subjects:
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991004702549703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Item Description:Indice
Physical Description:xvii, 397 p. : il. ; 24 cm
Bibliography:Bibliografía
ISBN:9780471934851