Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:372723 > Automation of reaso...

Automation of reasoning. 2, Classical papers on computational logic 1967-1970 / edited by Jörg Siekmann and Graham Wrightson

Siekmann, Jörg (redaktör/utgivare)
Wrightson, Graham (redaktör/utgivare)
ISBN 3-540-12044-0 (Berlin)
Berlin ; Springer-Vlg, 1983
Engelska 637 s.
Serie: Symbolic computation. Artificial intelligence, 1431-1399
  • Bok
Ämnesord
Stäng  

Ämnesord

Matematisk logik 

Klassifikation

510.6(021) (UDK)
519.688(021) (UDK)
Inställningar Hjälp

Titeln finns på 4 bibliotek. 

Bibliotek i Mellansverige (1)

Ange som favorit

Bibliotek i västra Sverige (1)

Ange som favorit

Bibliotek i södra Sverige (2)

Ange som favorit
Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy