Moscow symposium on Logic, Algebra and Computation

Event name
Moscow symposium on Logic, Algebra and Computation
 
Event type
Event for scientific audience
 
Start date
08-02-2006
End date
10-02-2006
 
Location
Steklov Mathematical Institute, Moscow, Russia
Country
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias Herbrand's theorem and Skolem functionsPr√§sentation Presentation2006