Search for: [Subject and Keywords = sterowanie] OR [Subject and Keywords = sterowanie\-teoria] OR [Subject and Keywords = sztuczna inteligencja] OR [Subject and Keywords = matematyka stosowana] OR [Subject and Keywords = informatyka] OR [Title = Temporal logic as a tool for program correctness analysis] OR [Creator = Klimek, Radosław]

Number of results: 457