Editorial: The Integration of Automated Reasoning and Computer Algebra Systems

Linton, S.; Sebastiani, Roberto

doi:10.1016/j.jsc.2004.12.001

Editorial: The Integration of Automated Reasoning and Computer Algebra Systems

S. Linton;Sebastiani, Roberto

2002-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2002
			
	Titolo del periodico (Journal title)
	
				JOURNAL OF SYMBOLIC COMPUTATION
			
	Numero e parte del fascicolo (Issue number and part)
	
				4
			
	DOI
	
				https://dx.doi.org/10.1016/j.jsc.2004.12.001
			
	Codice Scopus (Scopus identifier)
	
				2-s2.0-17044430572
			
	Codice WOS (WOS identifier)
	
				WOS:000228849800001
			
	Tutti gli autori
	
						S., Linton; Sebastiani, Roberto
					
	Appare nelle tipologie:
	
				03.1 Articolo su rivista (Journal article)