LOGICAL METHODS IN COMPUTER SCIENCE

Informazioni generali
	Titolo
	
			LOGICAL METHODS IN COMPUTER SCIENCE	  	
			
	Cris ID
	
			journal56048	  	
			
	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
