LOGICAL METHODS IN COMPUTER SCIENCE

Informazioni generali
	Titolo
	
					LOGICAL METHODS IN COMPUTER SCIENCE
				
	Cris ID
	
					journal00350
				
	Codice ANCE
	
					E190201
				
	Nazione
	
					DE
				
	ISSN
	
					1860-5974
				
	Lingua
	
					English
				
	Tipo
	
Rivista

	Editore
	
					Braunschweig : Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig.
				
	Anno di inizio
	
					2005
				
	Anno di fine
	
	Policy dell'editore per PRE-PRINT
	
	Restrizioni dell'editore per PRE-PRINT
	
	Policy dell'editore per POST-PRINT
	
	Restrizioni dell'editore per POST-PRINT
	
	Policy dell'editore per PDF
	
	Restrizioni dell'editore per PDF
	
	Presente in DOAJ
	
					true

LOGICAL METHODS IN COMPUTER SCIENCE > Dettaglio