Sökning: onr:372721 > Automation of reaso...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Automation of reasoning / ed. by Jörg Siekmann and Graham Wrightson.
- BokEngelska1983
Förlag, utgivningsår, omfång ...
- Publicerad:Berlin ;Publicerad:New York :Publicerad:Springer-Vlg,Publicerad:1983
- 2 vol.
Nummerbeteckningar
- LIBRIS-ID:372721
Kompletterande språkuppgifter
- Språk:engelska
- Översättning från:flera språk
Klassifikation
- UDK:510.6(021)
- UDK:519.688(021)
Serie
- Symbolic computation. Artificial intelligence,1431-1399
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Siekmann, Jörg (redaktör/utgivare)
- Wrightson, Graham (redaktör/utgivare)
Seriebiuppslag
- Symbolic computationArtificial intelligence,1431-1399
Bibliotekens lokala klassifikation, anmärkningar och ämnesord
- L510.6(021)
- L519.688(021)
- LMatematisk logik
- LDatormatematik
Titeln finns på 3 bibliotek.
Bibliotek i Mellansverige (1)
Ange som favorit- Uppsala universitetsbibliotek, Ångströmbiblioteket (Uang)Ange som favorit
- Mina lånLåna/reservera
-
- Placering: 65
- Bestånd: Vol. 1-2
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
- Lunds universitets bibliotek, E-husets bibliotek, LTH (Lte)Ange som favorit
- Titeln i bibliotekets lokala katalog
-
- Bestånd: 1-2
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Sök vidare
Hjälp
- Fler titlar av
- Siekmann, Jörg
- Wrightson, Graham
- Fler titlar om
- Matematisk logik
- Tillhörande delar/artiklar
- Delar i verket
- Serie
- Fler delar
Sök utanför LIBRIS
Hjälp
- Sök vidare i:
- Google Book Search
- Google Scholar
- LibraryThing
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
Copyright © LIBRIS - Nationella bibliotekssystem
