• ↓ Direkt till sidans innehåll
• ↓ Direkt till sidans sekundära innehåll (sidomenyn)

• Hjälp
• In English
• Anpassa
• Mina bibliotek
• Rensa historik
• LOGGA IN

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

• 1 av 1
• Föregående post
• Nästa post
•    Till träfflistan

• Översikt
• Detaljer

Inställningar

•  
• Se större omslagsbild

©

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 3540120440

Publicerad: 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)

• Länka till posten

• Hitta
• Andra utgåvor

Inställningar Hjälp

• Låna
• Fjärrlåna/beställ

Titeln finns på 4 bibliotek. 

Bibliotek i Mellansverige (1)

Ange som favorit

Uppsala universitetsbibliotek, Ångströmbiblioteket (Uang)Ange som favorit

Mina lånLåna/reservera

• Placering: 65 AUT
• Bestånd: Vol. 1-2

Utlånad?Öppettider, adress m.m.

Bibliotek i västra Sverige (1)

Ange som favorit

Chalmers tekniska högskola, Huvudbiblioteket (Z)Ange som favorit

Titeln i bibliotekets lokala katalog

Utlånad?Öppettider, adress m.m.

Bibliotek i södra Sverige (2)

Ange som favorit

Lunds universitets bibliotek, Universitetsbiblioteket, UB (L)Ange som favorit

Titeln i bibliotekets lokala katalog

• Placering: T 88/22
• Bestånd: 1-2

Utlånad?Öppettider, adress m.m.

Lunds universitets bibliotek, E-husets bibliotek, LTH (Lte)Ange som favorit

Titeln i bibliotekets lokala katalog

• Placering: 1.5 Automation

Utlånad?Öppettider, adress m.m.

• 1 av 1
• Föregående post
• Nästa post
•    Till träfflistan

Om LIBRIS

Sekretess

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

Uppsök