13th International Conference on Mathematics and its Applications
	
	
Event name
	
	
	
	
		
		
		
			
			
			
			
			
			
				
			
			
			
				
			
			
			
			
			
				13th International Conference on Mathematics and its Applications
			
						
			
		
		
		
		
	
		
	
	
	
	
		
	
	
	
	
	
	
Start date
											
										
										
									
										
										
										
										
										
											
											
												
		
		
		
	
				
				
					
				
		
	
	
	
		
	
	
	
	
		
	
	
	
	  	
		
		
			
			
			01-11-2012
			
		
		
		
		
	
	
	
	
End date
	
	
	
	
		
	
	
	
	
		
	
	
	
	  	
		
		
			
			
			03-11-2012
			
		
		
		
		
	
	
	
	
Location
											
										
										
									
										
										
										
										
										
											
											
												
		
	
		
		
	
				
				
					
				
		
	
	
	
	
	
		
		
		
			
			
			
			
			
			
				
			
			
			
				
			
			
			
			
			
				Timisoara, Romania
			
						
			
		
		
		
		
	
		
	
	
	
	
		
	
	
	
	
	
	
Country
	
	
	
		
	
	
		
		
		
			
			
			
			
		
		
		
		
	
	
	
		
	
	
	
	
	
	
	
Event format Veranstaltungsformat
											
										
										
									
								
	
	
	
		
	
	
		
		
		
			
			
			On Site
			
		
		
		
		
	
	
	
		
	
	
	
	
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kovacs, Laura ; Kovacs, Adalbert | Examples of Symbol Elimination in Program Verification | Konferenzbeitrag Inproceedings  | 2012 | |
| 2 | Kovacs, Adalbert ; Kovacs, Laura ; Kovacs, Levente | The Boundary Element Method in the Study of Non-Stationary Movements Through Network Pro les | Konferenzbeitrag Inproceedings  | 2012 | 
