skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Milestones for automated reasoning.

Abstract

No abstract prepared.

Authors:
Publication Date:
Research Org.:
Argonne National Laboratory (ANL), Argonne,IL
Sponsoring Org.:
USDOE
OSTI Identifier:
898195
Report Number(s):
ANL/MCS/CP-113222
Journal ID: 0218-2130; TRN: US200703%%288
DOE Contract Number:  
DE-AC02-06CH11357
Resource Type:
Conference
Resource Relation:
Journal Name: IJAIT; Journal Volume: 15; Journal Issue: 1; Conference: 2nd International Joint Conference on AutomatedReasoning (IJCAR 2004) Cork, Ireland Jul 4-8, 2004
Country of Publication:
United States
Language:
ENGLISH
Subject:
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; ARTIFICIAL INTELLIGENCE; AUTOMATION; TECHNOLOGY ASSESSMENT

Citation Formats

Wos, L. Milestones for automated reasoning.. United States: N. p., 2006. Web. doi:10.1142/S0218213006002540.
Wos, L. Milestones for automated reasoning.. United States. doi:10.1142/S0218213006002540.
Wos, L. Wed . "Milestones for automated reasoning.". United States. doi:10.1142/S0218213006002540.
@article{osti_898195,
title = {Milestones for automated reasoning.},
author = {Wos, L.},
abstractNote = {No abstract prepared.},
doi = {10.1142/S0218213006002540},
journal = {IJAIT},
number = 1,
volume = 15,
place = {United States},
year = {Wed Feb 01 00:00:00 EST 2006},
month = {Wed Feb 01 00:00:00 EST 2006}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: