welcome to our forum. Melodyne editor can extract MIDI from a polyphonic recording. If you import the MIDI file to some notation software, you should be able to print out the corresponding sheet music (which you can then compare to the original version, if this is what you want to do). The quality of the notation obviously depends on the accuracy the music was played with. If there are too many deviations, especially timing-wise, you might need to edit (e.g. quantize) the recording until you get a MIDI file that converts to a legible notation. Also, Melodyne's DNA technology is intended for and works best with single polyphonic instruments. There could be some limitations with more complex audio and full mixes.
Anyway, I recommend that you download the Melodyne trial
and test it with your files.