e-Journal Details

Title: Journal of Automated Reasoning Abbrev: J AUTOM REASONING Abbrev: J AUTO REAS Abbrev: J. AUTOMAT. REASON Abbrev: J. AUTOM. REASONING ISSN: 0168-7433 LCCN: 2004229180 CODEN: JAREEW Peer-Reviewed: Yes   Availability: Springer Journals – Licence Nationale France   Available from 1985 until (and including) 1996   Availability: SpringerLink Online Journals Archive Complete   Available from 1985/01/01 volume: 1 issue: 1 until (and including) 1996/12/31 volume: 17 issue: 3

Categories:
Sciences mathématiques: Algorithmes
Sciences mathématiques: Calcul stochastique
Sciences mathématiques: Mathématiques appliquées
Technologies de l'information: Général et autres