Journal of automated reasoning
 
ΤίτλοςJournal of automated reasoning
ΣυντομογραφίαJ. autom. reason.
ISSN0168-7433
Έτη έκδοσης1985-
ΓλώσσαΑγγλική
ΧώραΟλλανδία
Άλλη έκδοση σε διαφορετικό μέσοJournal of automated reasoning (Dordrecht. Online) [ISSN 1573-0670]
ΤίτλοςJournal of automated reasoning
Τίτλος κλειδίJournal of automated reasoning
ΣυντομογραφίαJ. autom. reason.
ISSN0168-7433
Έτη έκδοσης1985-
ΔημοσίευσηDordrecht ; Reidel
ΓλώσσαΑγγλική
ΧώραΟλλανδία
Άλλη έκδοση σε διαφορετικό μέσοJournal of automated reasoning (Dordrecht. Online) [ISSN 1573-0670]
UDC Ταξινόμηση007.52 [current]
Βιβλιοθήκη Από Έως Πληροφορίες
Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών
1985 Ηλεκτρονικό
Πρόσβαση
Springer
Πανεπιστήμιο Ιωαννίνων Κεντρική Βιβλιοθήκη
1996
τόμος 16
2001
τόμος 27
Πλήρης
Μέλος Δικτύου
Ανενεργή
Εθνικό Κέντρο Ερευνών στις Φυσικές Επιστήμες "Δημόκριτος"
1999
τόμος 22
Πλήρης
Μέλος Δικτύου
Ανενεργή μέχρι 25/08/2017
Οικονομικό Πανεπιστήμιο Αθηνών
1988 2002 Πλήρης
Μέλος Δικτύου
Πανεπιστήμιο Κύπρου
1986
τόμος 2
2002
τόμος 26
Ελλιπής
Μέλος Δικτύου
Ανενεργή
Πανεπιστήμιο Πειραιώς
1998
τόμος 20
τεύχος 1
2002
τόμος 29
τεύχος 4
Ελλιπής
Μέλος Δικτύου