Przejdź do treści
Library Home
Start Over
Research Databases
E-Journals
Aparaty semestralne
Library Home
Login
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Język
Library Catalog
Wszystkie pola
Tytuł
Autor
Hasło przedmiotowe
Sygnatura
ISBN / ISSN
Szukaj
Wyszukiwanie zaawansowane
|
Przeglądaj
|
Wskazówka do wyszukiwania
Automated Reasoning
Cytować
Wyślij wiadomość
Wyślij emailem
Drukuj
Eksportuj rekord
Eksportuj do RefWorks
Eksportuj do EndNoteWeb
Eksportuj do EndNote
Dodaj do listy ulubionych książek
Odnośnik bezpośredni
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings / edited by Bernhard Gramlich, Dale Miller, Ulrike Sattler.
Zapisane w:
Opis bibliograficzny
Korporacja:
SpringerLink (Online service)
Kolejni autorzy:
Gramlich, Bernhard
(Redaktor)
,
Miller, Dale
(Redaktor)
,
Sattler, Ulrike
(Redaktor)
Format:
E-book
Język:
English
Wydane:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2012.
Wydanie:
1st ed. 2012.
Seria:
Lecture Notes in Artificial Intelligence ;
7364
Springer eBook Collection.
Hasła przedmiotowe:
Mathematical logic.
Computer logic.
Artificial intelligence.
Software engineering.
Computer science—Mathematics.
Numerical analysis.
Electronic resources (E-books)
Dostęp online:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Egzemplarz
Opis
Podobne zapisy
Wersja MARC
Login Dla informacji o zamówieniu / rezerwacji
Internet
Click to view e-book
Online
Szczegóły zapisu Online
Sygnatura:
E-Book
Copy 1
Dostępne
Podobne zapisy
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Wydane: (2014)
Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Wydane: (2001)
Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Wydane: (2004)
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Wydane: (2016)
Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Wydane: (2008)