LOGICAL METHODS IN COMPUTER SCIENCE

Informazioni generali
	Titolo
	
					LOGICAL METHODS IN COMPUTER SCIENCE
				
	Cris ID
	
					journal54828
				
	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
	
					can
				
	Restrizioni dell'editore per PRE-PRINT
	
					can
				
	Policy dell'editore per POST-PRINT
	
					can
				
	Restrizioni dell'editore per POST-PRINT
	
					can
				
	Policy dell'editore per PDF
	
					can
				
	Restrizioni dell'editore per PDF
	
					can
				
	Presente in DOAJ
	
					true
LOGICAL METHODS IN COMPUTER SCIENCE > Dettaglio
